issues
search
granule-project
/
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
https://granule-project.github.io
BSD 3-Clause "New" or "Revised" License
589
stars
33
forks
source link
Graded base extension
#199
Closed
dorchard
closed
1 year ago
dorchard
commented
1 year ago
[ ] Add a check after parsing to only allow graded arrows if
language GradedBase
is turned on.
language GradedBase
is turned on.