WIP / Categorical functors - Githubissues

FormationAI / dhall-bhat

Tasty meal of Dhall

66 stars 11 forks source link

WIP / Categorical functors #38

Closed sellout closed 5 years ago

sellout commented 6 years ago

Things to consider doing:

[ ] rename (Co)Kleisli to (Co)Star
[ ] move various categories into the Category directory

sellout commented 5 years ago

Retiring this in favor of kind polymorphism.