Compile using: ocamlbuild -use-menhir -tag thread -use-ocamlfind -quiet -pkg core test.native

Type the source code into <file>.lc
Run using ./test.native <file>.lc

Syntax:

The syntax is a subset of OCaml's

`fun x -> _` is a function.
`if _ then _ else _` is a conditional
`( _ ) _` is an application

e.g. if 5 then 100 else 0 evaluates to 100
e.g. (fun x -> if (fun y -> if y then 100 else 5) 1 then 200 else 0) 1 -> 200