Tested with Effekt commit 430369f.
This implementation was developed in the course of a bachelor thesis.
To execute the tests, use the command effekt stm.effekt
jonaskr8/effekt-stm
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|