A statically-typed linear functional language with graded modal types for fine-grained program reasoning
Why do you think that https://github.com/ponylang/ponyc 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/ponylang/ponyc is a good alternative to granule