engboris/stellogen

An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax

Language: OCaml - Size: 2.07 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 105 - Forks: 10