pi-types
There are 0 repository under pi-types 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 pi-types topic.
lambe-lang / nethraMinimal core language based on dependent function type, pair type, recursive type, sum type and record type.