Code

fix #386#423

Code

Open

gares wants to merge 6 commits intomastermath-comp/hierarchy-builder:masterfrom fix-proj-ty-primprojmath-comp/hierarchy-builder:fix-proj-ty-primprojCopy head branch name to clipboard

+147-38

Commits

Commits on Dec 11, 2024

• test

  gares

  committed
  3ef4ed7

  Copy full SHA for 3ef4ed7

• kind of works

  gares

  committed
  0227e34

  Copy full SHA for 0227e34

• hack for coq.term->gref

  gares

  committed
  9e7231b

  Copy full SHA for 9e7231b

• always enable primitive mixins

  gares

  committed
  efc03dc

  Copy full SHA for efc03dc

• honor primitive=off

  gares

  committed
  58f4e12

  Copy full SHA for 58f4e12

• use primproj for class->mixin builders

  gares

  committed
  f0e45ee

  Copy full SHA for f0e45ee