Better readme

This commit is contained in:
Dmitry Boulytchev 2020-02-19 20:13:37 +03:00
parent f46d0f423c
commit 23005a8512

View file

@ -46,7 +46,7 @@ Prerequisites:
Installing: 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` (remember of "#" being a comment character in bash)
* `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-testing: Smoke-testing: