#

pi-types

Here is 1 public repository matching this topic...

ephel-lang / nethra

Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.

dependent-types sum-types recursive-types record-types sigma-types propositional-equality pi-types

Updated May 23, 2024
OCaml

Improve this page

Add a description, image, and links to the pi-types topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the pi-types topic, visit your repo's landing page and select "manage topics."