Geeks
agda
/
categories-examples
Examples of categorical structures
Primary Language
Agda
MIT License
MIT
categories-examples GitHub
Markdown
Readme
2
Issues
11
Stargazers
7
Watchers
Stargazers
bolt12
@well-typed
bond15
Two Six Labs
conal
(open to employment)
dcclogin
Indiana University
ebigram
glittershark
@readysettech
herulume
SaltPay
Kraks
Purdue University
sleepyfoxen
tkersey
@thisisartium
wolverian
@reaktor