Skip to content

reprogrammer/kerlang

About

kerlang is a formal definition of the semantics of the Erlang programming language using the K framework.

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published