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

v0.1

v0.1
@JacquesCarette JacquesCarette tagged this 29 Sep 13:31 
remove variables as they are unstable under version change
Assets 2
Loading
0