/agda-stdlib

The Agda standard library

Primary LanguageAgdaOtherNOASSERTION

Stargazers

No one’s star this repository yet.