GitHub repository: skius/imp
Primary language: Rust
Created: 2021-06-22T01:32:19Z
Description: Big-step, small-step and axiomatic semantics for the IMP language (unofficial)