An implementation of the reversible semantics for Erlang.
-
Updated
Nov 9, 2017 - Erlang
An implementation of the reversible semantics for Erlang.
To associate your repository with the reversible-semantics topic, visit your repo's landing page and select "manage topics."