A dependently typed type checker for a TT with intervals
Primary LanguageAgda
No issues in this repository yet.