granule-project / granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning
590Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for granule