Formalizations of Gradually Typed Languages in Agda
Primary LanguageAgda
No issues in this repository yet.