Better readme

This commit is contained in:
Dmitry Boulytchev 2020-02-19 15:30:33 +03:00
parent f8ce0b2c92
commit 3b94e30eaa

View file

@ -44,3 +44,7 @@ Installing:
* `opam pin add -n ostap https://github.com/dboulytchev/ostap.git#memoCPS` * `opam pin add -n ostap https://github.com/dboulytchev/ostap.git#memoCPS`
* `opam pin add -y lama https://github.com/JetBrains-Research/Lama.git` * `opam pin add -y lama https://github.com/JetBrains-Research/Lama.git`
Smoke-checking: `pushd tutorial && make && popd`