Skip to content

Commit

Permalink
Add minor improvements to the docs (#1995)
Browse files Browse the repository at this point in the history
Add VSCode extension link
Fix signature of the tail' function in learn.md
Add space to the odd' type signature in learn.md
  • Loading branch information
vrom911 authored Apr 11, 2023
1 parent c4ace25 commit b14a81a
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 3 deletions.
4 changes: 2 additions & 2 deletions docs/tutorials/learn.md
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down Expand Up @@ -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;
```
Expand Down
4 changes: 3 additions & 1 deletion docs/tutorials/vscode.md
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -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

0 comments on commit b14a81a

Please sign in to comment.