Geeks
myuon
/
agda-cate
Category Theory in Agda
Primary Language
Agda
MIT License
MIT
agda-cate GitHub
Markdown
Readme
0
Issues
8
Stargazers
6
Watchers
Stargazers
CYBAI
Tokyo
Fuuzetsu
@tsurucapital
na4zagin3
Indeed.com
nyuichi
University of Tokyo & Idein Inc.
pasberth
A student
sawatani
f:athens
sheganinans
Data Scientist & Language Architect
timjb
@TNG Technology Consulting GmbH