SrGaabriel/soma

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.

语言：Haskell · GitHub 星标：87 · Fork：2

话题：compiler · dependent-types · functional-programming · functional-programming-language · interaction-calculus · interaction-combinators · interaction-nets · llvm

在 GitHub 上查看原仓库