GitHub - jamesmacaulay/rust-secd: An implementation of Peter Landin's SECD machine in Rust

Name	Name	Last commit message	Last commit date
Latest commit jamesmacaulay SECD machine ported from elm-secd Jul 12, 2017 ce10086 · Jul 12, 2017 History 1 Commit
src	src	SECD machine ported from elm-secd	Jul 12, 2017
.gitignore	.gitignore	SECD machine ported from elm-secd	Jul 12, 2017
Cargo.lock	Cargo.lock	SECD machine ported from elm-secd	Jul 12, 2017
Cargo.toml	Cargo.toml	SECD machine ported from elm-secd	Jul 12, 2017