Note
This is a community-maintained fork of a student bachelor thesis project. Be warned that this is not an officially endorsed project, the code in this repository may be not idiomatic Effekt.
The original repository is https://github.com/jonaskr8/effekt-stm
This implementation was developed in the course of a bachelor thesis.
To execute the tests, use the command effekt stm.effekt