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.

Sign up for GitHub

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

Jump to bottom

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

Merged
merged 9 commits into from
Feb 11, 2022
Merged

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

Show file tree
Hide file tree
Changes from 7 commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
b8f417a
don't say that the library compiles with the latest development version
felixwellen Feb 10, 2022
dfb086a
Do not mislead in the INSTALL-file
felixwellen Feb 10, 2022
cbc79fc
add a hint in the ci file, where the version of agda is picked
felixwellen Feb 10, 2022
36b7cb6
just 'latest release version' instead of 'latest development version'
felixwellen Feb 10, 2022
b4e3508
fix INSTALL
felixwellen Feb 10, 2022
1bcc592
Revert "add a hint in the ci file, where the version of agda is picked"
felixwellen Feb 10, 2022
52acfec
use same wording/formatting as before
felixwellen Feb 10, 2022
104d02b
Update INSTALL.md
felixwellen Feb 10, 2022
74a9ca2
Update README.md
felixwellen Feb 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion INSTALL.md
View file
Open in desktop
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 development version
The cubical library should compile on the latest official release version
felixwellen marked this conversation as resolved.
Show resolved Hide resolved
of Agda:

https://github.com/agda/agda
Expand Down
10 changes: 5 additions & 5 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,21 +1,21 @@
A standard library for Cubical Agda
===================================

This library compiles with the master branch of the development
version of [Agda](https://github.com/agda/agda/). For detailed install
This library compiles with the latest official release version of
felixwellen marked this conversation as resolved.
Show resolved Hide resolved
[Agda](https://github.com/agda/agda/). For detailed install
instructions see the
[INSTALL](https://github.com/agda/cubical/blob/master/INSTALL.md)
file.

The source code has a glorious clickable [rendered version](https://agda.github.io/cubical/Cubical.README.html).

If you want to use Agda 2.6.2 instead of the latest development version, you
If you want to use Agda 2.6.2 instead of the latest release version, you
can check out the tag `v0.3` of this library.

If you want to use Agda 2.6.1.3 instead of the latest development version, you
If you want to use Agda 2.6.1.3 instead of the latest release version, you
can check out the tag `v0.2` of this library.

If you want to use Agda 2.6.0.1 instead of the latest development version, you
If you want to use Agda 2.6.0.1 instead of the latest release version, you
can check out the tag `v0.1` of this library.

For some introductory lecture notes see the material for the Cubical Agda course
Expand Down