This repository is only here for showcasing purposes and will rarely be updated.
Original and up-ot-date private repository can be found on Gaufre.
Written under Adrien Guatto's sharp eye.
MiniLin is a minimalistic linear language. It will get an evaluator at some point.
You need a relatively recent version of OCaml as well as several dependencies.
Assuming you have a working OCaml and OPAM installation, building MiniLin is as simple as running the the following commands in your terminal.
$ opam install dune sexplib ppx_deriving ppx_compare alcotest
$ dune build