typed-ski 0.8.0

SKI calculus evaluator in Rust compiled to WASM
Documentation