⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.
programming-language dependent-types compiler functional-programming llvm interaction-nets interaction-calculus functional-programming-language interaction-combinators
-
Updated
Jan 5, 2026 - Lean