From 8a4c5a55160e62c64fb8b197b9829ffb6eba13a8 Mon Sep 17 00:00:00 2001 From: KtorZ Date: Sun, 11 Dec 2022 12:40:41 +0100 Subject: [PATCH] Add some minor precisions in 'getting-started' And tweaks the link to the editor plugins already -- a bit ahead of time. --- book/src/getting-started.md | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/book/src/getting-started.md b/book/src/getting-started.md index 0a3dd7a4..c1dcc981 100644 --- a/book/src/getting-started.md +++ b/book/src/getting-started.md @@ -5,18 +5,24 @@ ### From Source ```console -$ cargo install aiken +cargo install aiken ``` +> **Note** +> +> _`cargo` is a package manager for Rust. To install it, please refer to [the Rust book](https://doc.rust-lang.org/stable/book/ch01-01-installation.html)._ + ## QuickStart ``` -$ aiken --help +aiken --help ``` ## Editor Integrations -| Editor | Plugin | -| ---------- | --------------------------------------------------------------------------- | -| VSCode | [TxPipe/vscode-aiken](https://github.com/txpipe/vscode-aiken/) | -| Vim/Neovim | [CardanoSolutions/aiken-vim](https://github.com/CardanoSolutions/aiken-vim) | +The following plugins provide syntax highlighting and indentation rules for Aiken. + +| Editor | Plugin | +| ---------- | --------------------------------------------------------------------------- | +| VSCode | [aiken-lang/editor-integration-vscode](https://github.com/aiken-lang/editor-integration-vscode) | +| Vim/Neovim | [aiken-lang/editor-integration-nvim](https://github.com/aiken-lang/editor-integration-nvim) |