Interactive reducer of SKI-calculus.
Branch | Status |
---|---|
Master | |
Develop |
- install stack
- download this repository
stack install
in this repository
? : show help
:s : show definitions
:v : flip verbosity
<term> : evaluate term
import <library> : import library
let <identifier> = <term> : define term
Type ?
in SKI Repl.
bool, numbers