sourir is cuter than RIR
Install Opam, the OCaml package manager, and then:
opam install ocaml.4.04.0
git clone https://github.com/reactorlabs/sourir
cd sourir
make install-deps
make sourir
./sourir examples/sum.sou
The language is still in flux. See parser.mly to get an idea of
the syntax or the files in examples/
, and eval.ml (in particular
Eval.reduce
) for the operational semantics.
Add tests and run them with
make tests
Run a toplevel utop with
make runtop
Send new code by pull-request