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

Tags: agda/cornelis

Tags

v2.7.1

Toggle v2.7.1's commit message 
Updated release for Agda v2.7.*

v2.7.0

Toggle v2.7.0's commit message 
Release for Agda v2.7.*
0