A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Why do you think that https://github.com/granule-project/gerty is a good alternative to granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Why do you think that https://github.com/granule-project/gerty is a good alternative to granule