typed-ski 0.5.3

SKI calculus evaluator in Rust compiled to WASM
Documentation