From b14a81a81dd4d1052c641aa803f8f6a00874963a Mon Sep 17 00:00:00 2001 From: Veronika Romashkina Date: Tue, 11 Apr 2023 13:03:12 +0100 Subject: [PATCH] Add minor improvements to the docs (#1995) Add VSCode extension link Fix signature of the tail' function in learn.md Add space to the odd' type signature in learn.md --- docs/tutorials/learn.md | 4 ++-- docs/tutorials/vscode.md | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/tutorials/learn.md b/docs/tutorials/learn.md index 3ba6115d9f..8786a78e2c 100644 --- a/docs/tutorials/learn.md +++ b/docs/tutorials/learn.md @@ -357,7 +357,7 @@ even : Nat -> Bool; even := let even' : Nat -> Bool; - odd': Nat -> Bool; + odd' : Nat -> Bool; even' zero := true; even' (suc n) := odd' n; @@ -725,7 +725,7 @@ type Maybe (A : Type) := For example, one could define the tail function as: ```juvix -tail' : {A : Type} -> List A -> Maybe A +tail' : {A : Type} -> List A -> Maybe (List A) tail' (_ :: xs) := just xs; tail' nil := nothing; ``` diff --git a/docs/tutorials/vscode.md b/docs/tutorials/vscode.md index dc06c1fc3b..4eabac6741 100644 --- a/docs/tutorials/vscode.md +++ b/docs/tutorials/vscode.md @@ -1,6 +1,6 @@ # Juvix VSCode extension tutorial -To install the Juvix VSCode extension, click on the "Extensions" button +To install the [Juvix VSCode extension][vscode-marketplace], click on the "Extensions" button in the left panel and search for the "Juvix" extension by Heliax. Once you've installed the Juvix extension, you can open a Juvix file. @@ -36,3 +36,5 @@ The functions of the buttons are as follows. the executable run is displayed in a separate window. - Html preview. Generates HTML documentation for the current file and displays it in a separate window. + +[vscode-marketplace]: https://marketplace.visualstudio.com/items?itemName=heliax.juvix-mode