pbl64k/gpif-datakinds

Generic Programming with Indexed Functors using DataKinds -- (co)recursion schemes for "free"!

语言：Haskell · GitHub 星标：8 · Fork：1

在 GitHub 上查看原仓库