/elaborated-generics

Datatype-Generic Programming meets Elaborator Reflection, ported to the Agda standard library

Primary LanguageAgda

This repository is not active