/Generic

A library for doing generic programming in Agda

Primary LanguageAgdaMIT LicenseMIT

Stargazers