mansky1 / kerlang Goto Github PK
View Code? Open in Web Editor NEWThis project forked from reprogrammer/kerlang
kerlang is a formal definition of the semantics of the Erlang programming language using the K framework.
License: GNU General Public License v3.0