NOTE: This release mistakenly works only for Ubuntu 22.04. Other (including later) releases should also work on Ubuntu 20.04, unless explicitly stated otherwise.
What's Changed
- Build F* with
duneinstead ofocamlbuildby @tahina-pro in #2815 - Update README.md by @nikswamy in #2841
- Some assorted fixes by @mtzguido in #2839
- Use leftmost head when checking for equatable symbols in the core typechecker by @aseemr in #2846
- Normalizer fix for mutually recursive functions (#2849) by @mtzguido in #2850
- ImmutableArray: add positivity, hasEq, decreases,
newqualifier by @mtzguido in #2855 - Support for limited extraction of indexed effects by @aseemr in #2851
- Preserving names in patterns during NBE by @mtzguido in #2858
Full Changelog: v2023.02.21...v2023.03.22