postfix evaluation - recursive algorithm in dafny

前端 未结 0 474
逝去的感伤
逝去的感伤 2021-02-19 18:26

I tried to do a suitable function using functions I found online,but they all relate to String input. i have sequence of this datatype - datatype Op = Operand(int) | Addition |

相关标签:
回答
  • 消灭零回复
提交回复
热议问题