Invariants and contract monitoring
Why do you think that https://github.com/transient-haskell/transient is a good alternative to control-invariants
Invariants and contract monitoring
Why do you think that https://github.com/transient-haskell/transient is a good alternative to control-invariants