Commit Graph

3 Commits

Author SHA1 Message Date
Paweł Nowak
1ee1d5635d Generate HUnfoldable instances using TH. 2014-11-22 22:53:09 +01:00
Paweł Nowak
92c75d44a1 Generate HFoldable instances using TH. 2014-11-22 21:55:11 +01:00
Paweł Nowak
a4a413fa28 Rep is now generated by TH. 2014-11-22 20:39:51 +01:00