-
Notifications
You must be signed in to change notification settings - Fork 237
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
release 1.7.3 #2132
release 1.7.3 #2132
Commits on Oct 10, 2023
-
Put indexed data types in the right universe
To fix agda/agda#6654, we've decided that large indices will no longer be allowed by default. There is an infective flag `--large-indices` to bring them back, but none of the uses of large indices in the standard library were essential: to avoid complicated mutually-recursive PRs across repos, I adjusted the levels to check with `--no-large-indices` instead of adding the flag to the modules that used them.
Configuration menu - View commit details
-
Copy full SHA for db41636 - Browse repository at this point
Copy the full SHA db41636View commit details -
Configuration menu - View commit details
-
Copy full SHA for c38f140 - Browse repository at this point
Copy the full SHA c38f140View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2f2c413 - Browse repository at this point
Copy the full SHA 2f2c413View commit details -
Configuration menu - View commit details
-
Copy full SHA for 84c16c1 - Browse repository at this point
Copy the full SHA 84c16c1View commit details -
Update CI for v1.7.3: Use Agda 2.6.4; deploy HTML to v1.7.3 subdirectory
Also: - install alex and happy - bump Agda heap to -M6G
Configuration menu - View commit details
-
Copy full SHA for 3f869a3 - Browse repository at this point
Copy the full SHA 3f869a3View commit details
Commits on Oct 11, 2023
-
Bump Haskell CI to GHC 9.8.1; bump deploy action; only branch release…
…-1.7.3-base Restricting to branch release-1.7.3-base will hopefully stop duplicate CI runs.
Configuration menu - View commit details
-
Copy full SHA for d883ecc - Browse repository at this point
Copy the full SHA d883eccView commit details -
Add CITATION.cff; bump version to 1.7.3
bump to 1.7.3 in - standard-library.agda-lib - README.agda - installation-guide.txt
Configuration menu - View commit details
-
Copy full SHA for d622fa5 - Browse repository at this point
Copy the full SHA d622fa5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3d2002b - Browse repository at this point
Copy the full SHA 3d2002bView commit details
Commits on Oct 12, 2023
-
Add some aliases for forward compatibility with v2.0
Some objects will get a new name in v2.0. We add some of these names already here to ease the transition to v2.0: - add modules `Effect.*` reexporting `Category.*` - add `IO.Primitive.pure` as alias for `IO.Primitive.return`
Configuration menu - View commit details
-
Copy full SHA for 44bd3be - Browse repository at this point
Copy the full SHA 44bd3beView commit details