matthew-hilty / granule Goto Github PK
View Code? Open in Web Editor NEWThis project forked from granule-project/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
Home Page: https://granule-project.github.io
License: BSD 3-Clause "New" or "Revised" License