sol2ligo
sol2ligo copied to clipboard
WIP: op_list fix
do not merge until
- #264
- check opList apply order (if 0 .. N then this MR is not valid)
- fix all tests