/K-Scheme

Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}

Primary LanguagePythonOtherNOASSERTION

Stargazers