#

contextual-modal-type-theory

Here are 2 public repositories matching this topic...

damhiya / MetaLambda

programming-language haskell lambda-calculus metaprogramming modal-logic multi-stage-programming modal-type-theory adjoint-type-theory contextual-modal-type-theory

Updated Feb 26, 2024
Haskell

kevinlopaq / cmtt

Type-checker for CMTT

typechecker lambda-calculus modal-logic modal-type-theory contextual-modal-type-theory

Updated Feb 7, 2025
Haskell

Improve this page

Add a description, image, and links to the contextual-modal-type-theory 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 contextual-modal-type-theory topic, visit your repo's landing page and select "manage topics."