/agda-stdlib

The Agda standard library

Primary LanguageAgdaOtherNOASSERTION

This repository is not active