Simple procedure to get latest catala

This commit is contained in:
Denis Merigoux 2021-04-13 18:35:04 +02:00
parent 5015ced7c1
commit 9fc3007fc6

View File

@ -54,6 +54,11 @@ If opam is installed on your machine, simply execute:
opam install catala
To get the cutting-edge, latest version of Catala, you
can also do
opam pin add catala --dev-repo
However, if you wish to get the latest developments of the compiler, you probably
want to compile it from the sources of this repository. For that, see
[the dedicated readme](INSTALL.md).