Coq-Elpi 2.2.0 for Coq 8.19 and Coq 8.20

News

The main changes are:

• the switch to dune allowing for multiple Coq versions to be supported by the same codebase
• the experimental type class solver received a major update

What's Changed

• typos by @FissoreD in #636
• Ho unif with links new by @FissoreD in #629
• [TC] fix compilation of instances in the ctx by @FissoreD in #640
• Port to the [dune] build system. by @rlepigre in #615
• Update coq-nix-toolbox by @vbgl in #641
• remove reglang and deriving jobs by @gares in #642
• support DUNE_FLAGS by @gares in #643
• Better elpitime for benching by @FissoreD in #645
• Add API for projections by @FissoreD in #644

Full Changelog: v2.1.1...v2.2.0