HeinrichApfelmus / operationalLinks

Implement monads by specifying instructions and their desired operational semantics.
83Updated last year

Alternatives and similar repositories for operational

Users that are interested in operational are comparing it to the libraries listed below

Sorting: