8000 Tags · MirceaS/agda-categories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: MirceaS/agda-categories

Tags

v0.1

Toggle v0.1's commit message
remove variables as they are unstable under version change

v0.1-fix

Toggle v0.1-fix's commit message
fix v0.1 tag

0