effectfully / GenericLinks

A library for doing generic programming in Agda
31Updated 4 years ago

Alternatives and similar repositories for Generic

Users that are interested in Generic are comparing it to the libraries listed below

Sorting: