Lysxia/first-class-families
1
1
Fork 0
mirror of https://github.com/Lysxia/first-class-families.git synced 2024-10-27 11:59:44 +03:00
Code Issues Projects Releases Wiki Activity
8 Commits 1 Branch 11 Tags 251 KiB
388c9a895c
Commit Graph

8 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Lysxia
388c9a895c Hackage and Travis badges 2018-07-11 00:31:05 -04:00
Lysxia
b67e9e4145 Enable travis 2018-07-11 00:29:48 -04:00
Lysxia
5c0b4c86b2 Microdoc 2018-07-11 00:27:07 -04:00
Lysxia
45484e1996 Add UnBool, UnList 2018-07-10 18:55:14 -04:00
Lysxia
61b1ac0a10 Add Pure1, Pure2, Pure3 2018-07-10 18:14:48 -04:00
Lysxia
9ff8e6de98 Add @@ synonym 2018-07-10 17:21:54 -04:00
Lysxia
b38537016f More Exp in UnMaybe 2018-07-09 08:39:17 -04:00
Lysxia
04d58a4c5c First class type families 2018-07-09 00:13:46 -04:00