Giters
agda
/
categories-examples
Examples of categorical structures
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
7
Issues:
2
Forks:
4
agda/categories-examples Stargazers
Armando Santos
bolt12
bond15
Conal Elliott
conal
Chenchao Ding
dcclogin
ebigram
ebigram
Aspen Smith
glittershark
Eduardo Jorge
herulume
Guannan Wei
Kraks
fox
sleepyfoxen
Tim Kersey
tkersey
Ilmari Vacklin
wolverian