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
Displaying 1-1 of 1 versions of soma
Sort by
  1. Not a part of any version track.
    d200bc6
    3 days ago
    Released on November 4, 2026 at 4:25:44PM