GitHunt
JO

JoeyEremondi/GuardedModel

Model of Gradual Dependent Types in Guarded Type Theory

No README found.

Languages

HTML48.5%TeX28.0%Agda23.4%Idris0.1%

Contributors

Created December 18, 2022
Updated February 18, 2025
JoeyEremondi/GuardedModel | GitHunt