Programming language agnostic type construction language based on polynomials.
-
Updated
May 29, 2024 - Idris
Programming language agnostic type construction language based on polynomials.
Homotopy Type Theory proofs in Idris
A programming language based on extensional Martin Lof Type Theory
Implementation of Russel paradox in Idris 2
Some examples of programs with dependent types from Type Theory course in IFMO University.
Add a description, image, and links to the type-theory topic page so that developers can more easily learn about it.
To associate your repository with the type-theory topic, visit your repo's landing page and select "manage topics."