Apply suggestions from code review
Co-authored-by: Mateusz Galazyn <[email protected]>
Co-authored-by: Mateusz Galazyn <[email protected]>
chore: register HTTP handlers with forward slashes on Windows
By creating an AppM which is a MonadState UTxO, we can get rid of some book-keeping in the model in exchange of making the SUT actually stateful: performing transactions depend on the UTxO of the previous action.
Also format the code base.
If there is another decommit _in flight_ wait for TTL to expire before erroring out. Also remove the red color from the spec