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.
    6032fb1
    20 hours ago
    Released on October 17, 2026 at 11:17:00PM