v2023.03.22

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 dune instead of ocamlbuild by @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, new qualifier 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