GitHub topics: propositional-equality
ephel-lang/nethra
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
Language: OCaml - Size: 3.46 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 9 - Forks: 1
