Merge remote-tracking branch 'origin/rvcas/lang_docs'

bonnie.toml

@@ -0,0 +1,5 @@
+version="0.3.2"
+
+[scripts]
+book = "mdbook serve book -d ../_site"
+publish = "cargo workspaces publish"

book/src/SUMMARY.md

@@ -2,6 +2,25 @@
 
 - [Introduction](./introduction.md)
 - [Getting Started](./getting-started.md)
+- [Language Tour](./language-tour.md)
+  - [Comments](./language-tour/comments.md)
+  - [String](./language-tour/string.md)
+  - [Bool](./language-tour/bool.md)
+  - [Int](./language-tour/int.md)
+  - [Data](./language-tour/data.md)
+  - [Variables](./language-tour/variables.md)
+  - [Blocks](./language-tour/blocks.md)
+  - [List](./language-tour/list.md)
+  - [Tuple](./language-tour/tuple.md)
+  - [Matching](./language-tour/matching.md)
+  - [Functions](./language-tour/functions.md)
+  - [Custom types](./language-tour/custom-types.md)
+  - [Option](./language-tour/option.md)
+  - [Assert](./language-tour/assert.md)
+  - [Check](./language-tour/check.md)
+  - [Todo](./language-tour/todo.md)
+  - [Constants](./language-tour/constants.md)
+  - [Type aliases](./language-tour/type-aliases.md)
 - [Untyped Plutus Core](./uplc.md)
   - [Syntax](./uplc/syntax.md)
   - [Command-line utilities](./uplc/cli.md)

book/src/getting-started.md

@@ -17,6 +17,6 @@ $ aiken --help
 ## Editor Integrations
 
 | Editor     | Plugin                                                                      |
-| ---        | ---                                                            |
+| ---------- | --------------------------------------------------------------------------- |
 | VSCode     | [TxPipe/vscode-aiken](https://github.com/txpipe/vscode-aiken/)              |
-| Vim/Neovim | [CardanoSolutions/aiken-vim](https://github.com/txpipe/aiken)  |
+| Vim/Neovim | [CardanoSolutions/aiken-vim](https://github.com/CardanoSolutions/aiken-vim) |

book/src/language-tour.md

@@ -0,0 +1,7 @@
+# Language Tour
+
+In this section we explore the fundamentals of the
+Aiken language. We'll go over syntax, types, control flow,
+and more. If you have prior programming experience this should
+be enough to get you started with Aiken. We also at times touch on
+how things behave and are represented at runtime.

book/src/language-tour/assert.md

@@ -0,0 +1 @@
+# Assert

book/src/language-tour/blocks.md

@@ -0,0 +1 @@
+# Blocks

book/src/language-tour/bool.md

@@ -0,0 +1 @@
+# Bool

book/src/language-tour/check.md

@@ -0,0 +1 @@
+# Check

book/src/language-tour/comments.md

@@ -0,0 +1 @@
+# Comments

book/src/language-tour/constants.md

@@ -0,0 +1 @@
+# Constants

book/src/language-tour/custom-types.md

@@ -0,0 +1 @@
+# Custom types

book/src/language-tour/data.md

@@ -0,0 +1 @@
+# Data

book/src/language-tour/functions.md

@@ -0,0 +1 @@
+# Functions

book/src/language-tour/int.md

@@ -0,0 +1 @@
+# Int

book/src/language-tour/list.md

@@ -0,0 +1 @@
+# List

book/src/language-tour/matching.md

@@ -0,0 +1 @@
+# Matching

book/src/language-tour/option.md

@@ -0,0 +1 @@
+# Option

book/src/language-tour/string.md

@@ -0,0 +1 @@
+# String

book/src/language-tour/todo.md

@@ -0,0 +1 @@
+# Todo

book/src/language-tour/tuple.md

@@ -0,0 +1 @@
+# Tuple

book/src/language-tour/type-aliases.md

@@ -0,0 +1 @@
+# Type aliases

book/src/language-tour/variables.md

@@ -0,0 +1 @@
+# Variables