#

propositional-equality

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 propositional-equality 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 propositional-equality topic, visit your repo's landing page and select "manage topics."