Closed nicholascar closed 6 months ago
remove any potential entailments on classes defined elsewhere; tighten Scope notes to make them unambiguous
Closes #27
Preview | Diff
remove any potential entailments on classes defined elsewhere; tighten Scope notes to make them unambiguous
Closes #27
Preview | Diff