granule-project/granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

语言：Haskell · GitHub 星标：741 · Fork：46

在 GitHub 上查看原仓库