/agda-stdlib

The Agda standard library

Primary LanguageAgdaOtherNOASSERTION