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

Latest Release

dissInitialMarch 15, 2023 + 1 more releases

Created December 18, 2022

Updated February 18, 2025

JoeyEremondi/GuardedModel | GitHunt