-
Notifications
You must be signed in to change notification settings - Fork 0
Linear Types #11
Copy link
Copy link
Open
Labels
stretchA goal that may be too ambitious for a term project.A goal that may be too ambitious for a term project.
Description
Activity
Metadata
Metadata
Assignees
Labels
stretchA goal that may be too ambitious for a term project.A goal that may be too ambitious for a term project.
As a stretch goal, we can consider adding linear types to our language. Linear types can help describe destructive operations, and are useful for resources usage APIs.