pbl64k/gpif-idris
Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.
Public GitHub Catalog
Discovered Oct 25, 2026
pbl64k / gpif-datakinds
Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#42988673GitHub System ID
pbl64kOrganization / User
PublicVisibility
ActiveCatalog Status
More from pbl64k
pbl64k/icfpc2015
My submission for the 2015 ICFP Contest. Ranked 37th in main round qualifiers.
pbl64k/recscheme
Free folds and unfolds over algebraic datatypes. (But the price tag on the free stuff can be a little daunting.)
pbl64k/moneyclock
Public repository.