added some category theory into FunctionK document#1636
Merged
ceedubs merged 7 commits intotypelevel:masterfrom kailuowang:improve-functionK-docMay 17, 2017
+17
Commits
Commits on Apr 25, 2017
- committed
- committed
- authored
Commits on May 12, 2017
- authored
Commits on May 15, 2017
- authored