Skip to content

match stdlib-1.7.2
Compare
Choose a tag to compare
@HuStmpHrrr HuStmpHrrr released this 08 May 23:25
· 276 commits to master since this release
v0.1.7.2
88160d7
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
Merge pull request #372 from jpoiret/update-agda-stdlib

Bump Agda to 2.6.3 and stdlib to 1.7.2
Assets 2
Loading