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

Version 1.1
Compare
Choose a tag to compare
@MatthewDaggitt MatthewDaggitt released this 19 Dec 16:08
· 1281 commits to master since this release
v1.1
dffb802 
v1.1

Agda standard library version 1.1
Assets 2
Loading
0