1-fold, multi-fold, good names?
vasilakisfil opened this issue · 0 comments
vasilakisfil commented
Maybe we need better naming for our definitions :) Or ideally find the ones that are already used for the same definitions.
vasilakisfil opened this issue · 0 comments
Maybe we need better naming for our definitions :) Or ideally find the ones that are already used for the same definitions.