well-typed/gp-zurihac-2020

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

语言：Haskell · GitHub 星标：44 · Fork：9

在 GitHub 上查看原仓库