propositional-equality
There are 0 repository under propositional-equality topic.
lambe-lang / nethra
Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.
Language:OCaml 9
There are 0 repository under propositional-equality topic.
lambe-lang / nethraMinimal core language based on dependent function type, pair type, recursive type, sum type and record type.