> USING HIDET SCRIPT TO WRITE CUSTOM OPERATORS this is really cool. I sometimes would like to have custom operators that are more or less trivial but the amoun

> USING HIDET SCRIPT TO WRITE CUSTOM OPERATORS this is really cool. I sometimes would like to have custom operators that are more or less trivial but the amount of work to create the operators by hand is just not worth it.