Category theory applied to functional programming (undergraduate project)
Stars
34
Forks
0
Watchers
Open Issues
2
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
70
commits
Add Enoch and Seth (#4)
acd7b9a
Update PDF
f56b4ad
Fix concat natural transformation example
231c006
Add docs/cain.pdf
ff36cfc
Add README
cc4bb70
s/isZero :: Bool -> Bool/isZero :: Nat -> Bool
b1fa96f
Acknowledgements
47b042c
Missing dot
d36e651
I thank you all
400d249
s/an usual/a usual
539877d
add cain-screen
5115208
Revise everything (3)
a71c72b
Revise everything (2)
3d35882
Revise everything
da530ca
Revise Section Future Work (1)
e54694f