An attempt to translate ekmett's beautiful Kan library from Haskell to Scala. Doubles as a personal attempt to learn some of the applications for some of this category theory I have lying around.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An attempt to translate ekmett's beautiful Kan library from Haskell to Scala. Doubles as a personal attempt to learn some of the applications for some of this category theory I have lying around.