Search whole site: site:github.com
Search title: GitHub - pbl64k/gpif-idris: Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
See how to search.