/tt-in-cagda

Simply typed lambda calculus in cubical agda

Primary LanguageAgda

Stargazers