search

math-comp / hierarchy-builder

High level commands to declare a hierarchy based on packed classes
MIT License
95 stars 21 forks source link

wrapper mixin step0 #370

Open ptorrx opened 1 year ago

CohenCyril commented 1 year ago

@ptorrx I recommend never merging in a PR, but only rebasing.