/generic-in-agda

Primary LanguageAgdaMIT LicenseMIT

Serializer

Library that allows generically serializing finite types to a 'Fin' representation of the type and back.

Example

...