This PR removes stuff related to monads from the event-struct project. It is moved into a separate repo https://github.com/Event-Structures/small-steps. The development on expressing small-step relations with the help of monads will be continued there. In this repo I performed a rollback to seq for all stuff that was dependent on nondet monads.
The reason that forced me to move the code into separate repo is that latest developments (in the branch https://github.com/Event-Structures/event-struct/tree/lfinposet) use some features from the dev version of mathcomp-ssreflect. The dev version is currently incompatible with monae. The simplest solution for now it to just split the repo and do not have a dependency on monae in event-struct (anyway, the monads are currently underused in event-struct project).
This PR removes stuff related to monads from the event-struct project. It is moved into a separate repo https://github.com/Event-Structures/small-steps. The development on expressing small-step relations with the help of monads will be continued there. In this repo I performed a rollback to
seqfor all stuff that was dependent on nondet monads.The reason that forced me to move the code into separate repo is that latest developments (in the branch https://github.com/Event-Structures/event-struct/tree/lfinposet) use some features from the
devversion ofmathcomp-ssreflect. Thedevversion is currently incompatible withmonae. The simplest solution for now it to just split the repo and do not have a dependency onmonaeinevent-struct(anyway, the monads are currently underused inevent-structproject).