Code

Unify declare saturate#485

Code

Draft

gares wants to merge 3 commits intomastermath-comp/hierarchy-builder:masterfrom unify-declare-saturatemath-comp/hierarchy-builder:unify-declare-saturateCopy head branch name to clipboard

+90-8

Commits

Commits on Dec 12, 2024

• HB.instance: failure building a class is not fatal

  Show description for b208603
  gares

  committed
  b208603

  Copy full SHA for b208603

• HB.instance: abstract over unresolved holes (fix #447)

  gares

  committed
  a3b6c8c

  Copy full SHA for a3b6c8c

• TODO: saturate-type-constructor up to the arity of the class subject

  gares

  committed
  d531833

  Copy full SHA for d531833