GitHub - granule-project/granule: A statically-typed linear functional language with graded modal types for fine-grained program reasoning
github.com
A statically-typed linear functional language with graded modal types for fine-grained program reasoning - granule-project/granule