Skip to content

MetaCoq 1.3.4 for Coq 8.20
Compare
Choose a tag to compare
@yforster yforster released this 27 Jan 12:12
· 1 commit to coq-8.20 since this release
v1.3.4-8.20
1d9755a

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

Contributors

yforster and MathisBD
Assets 2
Loading