pbl64k / gpif-idrisLinks

Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
14Updated 8 years ago

Alternatives and similar repositories for gpif-idris

Users that are interested in gpif-idris are comparing it to the libraries listed below

Sorting: