Point quint/README.md to github repo

This is the best landing page for an overview of the language. Also point links to urls, so they won't break coming from npm.
informalsystems · Dec 23, 2022 · 5cb06e5 · 5cb06e5
1 parent 8c475f6
commit 5cb06e5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/quint/README.md b/quint/README.md
@@ -1,7 +1,7 @@
 # `quint`: The core Quint tool
 
 This directory contains the `quint` CLI providing powerful tools for working
-with [the Quint specification language](../doc/lang.md).
+with [the Quint specification language](https://github.com/informalsystems/quint).
 
 ## Installation
 
@@ -13,7 +13,7 @@ npm i @informalsystems/quint
 
 ## How to run
 
-Check the [quint manual](../doc/quint.md).
+Check the [quint manual](https://github.com/informalsystems/quint/blob/main/doc/quint.md).
 
 ## How to develop