noamz/linlam

a library for experimental linear lambda calculus

语言：Haskell · GitHub 星标：21 · Fork：1

话题：diagrams · haskell-library · lambda-calculus · linear-logic · type-inference

在 GitHub 上查看原仓库