/KMachine

Small implementation of a Krivine's K-Machine

Primary LanguageErlangApache License 2.0Apache-2.0

Stargazers