Term Rewriting

This repository holds the Rust source code that powers the WASM demos that are a part of this blog post

Building

Build the native executable

cargo build --release

Build the WASM package

wasm-pack build --target web

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
mu.txt		mu.txt
out.txt		out.txt
peano.txt		peano.txt
prop.txt		prop.txt
turing.txt		turing.txt