https://github.com/jpvillaisaza/cain

Category theory applied to functional programming (undergraduate project)
https://github.com/jpvillaisaza/cain

agda category-theory functional-programming haskell

Last synced: 4 days ago
JSON representation

Category theory applied to functional programming (undergraduate project)

• Host: GitHub
• URL: https://github.com/jpvillaisaza/cain
• Owner: jpvillaisaza
• Created: 2014-08-17T19:02:32.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2019-02-17T21:43:37.000Z (over 5 years ago)
• Last Synced: 2023-03-26T01:44:00.026Z (over 1 year ago)
• Topics: agda, category-theory, functional-programming, haskell
• Language: TeX
• Homepage: https://jpvillaisaza.co/cain/cain.pdf
• Size: 905 KB
• Stars: 28
• Watchers: 4
• Forks: 0
• Open Issues: 2

Awesome Lists containing this project