https://github.com/myuon/agda-cate

Category Theory in Agda
https://github.com/myuon/agda-cate

Last synced: 3 months ago
JSON representation

Category Theory in Agda

• Host: GitHub
• URL: https://github.com/myuon/agda-cate
• Owner: myuon
• License: mit
• Created: 2014-10-06T03:00:38.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-07-30T04:16:07.000Z (almost 10 years ago)
• Last Synced: 2025-02-21T12:03:01.169Z (4 months ago)
• Language: Agda
• Size: 1.83 MB
• Stars: 9
• Watchers: 6
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
Agda-Cate

=========

html

--------

https://myuon.github.io/agda-cate/Everything.html