Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't claim cubical compiles with the latest agda development version #717

Merged
merged 9 commits into from
Feb 11, 2022
Prev Previous commit
Next Next commit
Update INSTALL.md
Co-authored-by: Anders Mörtberg <andersmortberg@gmail.com>
felixwellen and mortberg authored Feb 10, 2022

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
commit 104d02b0495257435311bf4994017758ae5e5c3d
2 changes: 1 addition & 1 deletion INSTALL.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
Installation of agda/cubical
============================

The cubical library should compile on the latest official release version
The cubical library should compile on the latest official release
of Agda:

https://github.com/agda/agda