A comparison of lambda term representations, abstract machines, etc.
| prerequisite | version | how to install | |
|---|---|---|---|
| Opam | >= |
1.2.2 |
manually or via package manager |
| OCaml | >= |
4.06.1+flambda |
opam switch 4.06.1+flambda |
| odoc | >= |
1.2.0 |
opam install odoc (optional) |
| utop | >= |
2.0.2 |
opam install utop (optional) |
$ git clone https://github.com/freebroccolo/lambda-battle
$ cd lambda-battle
$ opam update
$ opam pin add -y .
$ make
Requires odoc (see prerequisites).
$ make doc
Requires utop (see prerequisites).
$ make top
Please see the following documents.