Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/strake/category.agda

category-theory foundations mathematical-foundations-of-informatics mathematics

Last synced: 25 days ago
JSON representation

Formulation of category theory in Agda

Host: GitHub
URL: https://github.com/strake/category.agda
Owner: strake
Created: 2016-02-24T05:48:01.000Z (over 8 years ago)
Default Branch: master
Last Pushed: 2019-04-26T06:09:27.000Z (over 5 years ago)
Last Synced: 2024-05-01T22:37:12.840Z (6 months ago)
Topics: category-theory, foundations, mathematical-foundations-of-informatics, mathematics
Language: Agda
Homepage:
Size: 12.7 KB
Stars: 0
Watchers: 2
Forks: 0
Open Issues: 0