mokus0/dependent-sum-template

Template Haskell code to generate instances of classes from dependent-sum

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

在 GitHub 上查看原仓库