SrGaabrielsoma

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets.
#compiler #functional-programming #functional-programming-language #llvm #programming-language #interaction-calculus #interaction-combinators #interaction-nets #dependent-types

GitHub branch status GitHub Repo stars GitHub License

Soma

Soma is a dependently typed, pure functional language that compiles to native code via LLVM. This branch is a Haskell rewrite of the main branch written in Lean 4.