You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue proposes adding the following forms to the CakeML syntax and semantics:
Structure abbreviations: structure S = SuperLongStructName
Exception abbreviations: exception E = AnotherException
The text was updated successfully, but these errors were encountered:
oskarabrahamsson
changed the title
Add structure and exception abbreviations to abstract syntax
Add structure and exception abbreviations to syntax
Apr 12, 2022
This issue proposes adding the following forms to the CakeML syntax and semantics:
structure S = SuperLongStructName
exception E = AnotherException
The text was updated successfully, but these errors were encountered: