/agda-bigop

Big operators in Agda: Cambridge CST Part III thesis (2015)

Primary LanguageAgda

Watchers