Code

Meta-programming library#1116

Code

Closed

TheoWinterhalter wants to merge 8 commits intomainMetaCoq/metacoq:mainfrom libMetaCoq/metacoq:libCopy head branch name to clipboard

+435-10

Commits

Commits on Nov 8, 2024

• Draft meta-programming library

  Show description for 61581b1
  

  TheoWinterhalter

  and

  yforster

  committed
  61581b1

  Copy full SHA for 61581b1

Commits on Nov 10, 2024

• traversal functions

  MathisBD

  committed
  60384b2

  Copy full SHA for 60384b2

Commits on Nov 12, 2024

• added packed inductives and constructors

  MathisBD

  committed
  73de72b

  Copy full SHA for 73de72b

• cleanup

  MathisBD

  committed
  bfcdccf

  Copy full SHA for bfcdccf

Commits on Nov 15, 2024

• progress

  MathisBD

  committed
  ddc262d

  Copy full SHA for ddc262d

• small fixes

  MathisBD

  committed
  e60b588

  Copy full SHA for e60b588

• Nits

  TheoWinterhalter

  committed
  265e5b6

  Copy full SHA for 265e5b6

Commits on Nov 16, 2024

• tweaks

  MathisBD

  committed
  0f9d6da

  Copy full SHA for 0f9d6da