hierarchy-builder icon indicating copy to clipboard operation
hierarchy-builder copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

HB.sync at the begining of a file should perform/check for stuff:

Open CohenCyril opened this issue 2 years ago • 0 comments
trafficstars

  • do a saturation of potential joins.
  • check for multiple instances for a same type, coming from multiple modules (refer to orphan instances in Haskell) cc @RobbertKrebbers

Bonus questions: what happens with CS ?

CohenCyril avatar Jun 13 '23 12:06 CohenCyril