This release subsumes MetaCoq 1.3.3 for Coq 8.19. It fixes some bugs and provides a rudimentary meta-programming library.
What's Changed
- Fix quoting and unquoting of primitive strings (#1109) for 8.20 by @yforster in #1110
- metaprogramming library (8.20 version) by @MathisBD in #1122
- Remove bugged option MetaCoq Template Monad Debug. by @MathisBD in #1126
- Update documentation in common/Environment.ml for inductive and constant declarations by @MathisBD in #1131
Full Changelog: v1.3.2-8.20...v1.3.4-8.20