From adafd7dff982ef46fe7cf66441ddea6e89c6e3fa Mon Sep 17 00:00:00 2001 From: Rootul Patel Date: Fri, 15 Nov 2024 10:47:47 -0500 Subject: [PATCH] fix: markdown links --- nmt_quint_model/README.md | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/nmt_quint_model/README.md b/nmt_quint_model/README.md index cdb83f51..7f792967 100644 --- a/nmt_quint_model/README.md +++ b/nmt_quint_model/README.md @@ -61,11 +61,9 @@ While this is not necessary, it is of great help when writing models. ## Basic resources -- a sequence of very gentle and fun tutorials -[here](https://github.com/informalsystems/quint/blob/main/tutorials/README.md) -- language [cheatsheet](https://github.com/informalsystems/quint/blob/main/doc/quint-cheatsheet.pdf) -- documentation for built-in operators -[here](https://github.com/informalsystems/quint/blob/main/doc/builtin.md) +- a sequence of [lessons](https://quint-lang.org/docs/lessons) +- language [cheatsheet](https://quint-lang.org/quint-cheatsheet.pdf) +- documentation for [built-in operators](https://quint-lang.org/docs/builtin) ## REPL