GitPlanet
All Git Users → pbl64k

1 open source projects by pbl64k

[ Open user page on Github ]
1. gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
✭ 14
Idris
1-1 of 1 user projects