- changed milestone to Later
Assign sort to the interpretation of another sort.
Issue #133
new
It should be possible to declare the interpretation of a sort as the interpretation of another sort, also builtin ones.
Comments (3)
-
reporter
-
reporter
-
assigned issue to
Broes De Cat
- changed title to Assign sort to the interpretation of another sort.
-
assigned issue to
-
reporter
- removed milestone
Removing milestone: Later (automated comment)
- Log in to comment
