REWRITE LIVE
An interactive assistant for equational reasoning
Home
Demos
Unification engine
Purescript docs