GAXTo

A simple GAXT interpreter written in ocaml. Supports:

• Constants
• Variables
• Math
• Logical
• Print
• Stack
• Flow
• Macro
• Loop
• Label
• Service
• String

Implementations notes

• Starts from CalcStack
• Current implementation puts $\rho$ on variable stack unchanged (it will be changed in future; however this is fine to spec)
• Nor operator converts ints to bools, instead of being bitwise. E.g. 1 2 ` -> true true ` -> false -> 0. Not sure, that's desired behavior.