Code

[wip] universe polymorphism#122

Code

Draft

gares wants to merge 4 commits intomastermath-comp/hierarchy-builder:masterfrom univ-polymath-comp/hierarchy-builder:univ-polyCopy head branch name to clipboard

+226-154

Commits

Commits on Nov 3, 2020

• minimal porting, no test with polymorphism

  gares

  committed
  bf926b3

  Copy full SHA for bf926b3

Commits on Nov 5, 2020

• clanup

  gares

  committed
  07b7a49

  Copy full SHA for 07b7a49

• ready to trun univpoly on

  gares

  committed
  54c9023

  Copy full SHA for 54c9023

• [DO NOT MERGE] turn univpoly on, it kind of works

  gares

  committed
  a05c116

  Copy full SHA for a05c116