Here's an implementation of the calculator in javascript using xstate - https://...

		mukeshsoni on Feb 28, 2019 \| parent \| context \| favorite \| on: Formally Specifying UIs (2018) Here's an implementation of the calculator in javascript using xstate - https://github.com/mukeshsoni/statechart-calculator