diff options
| -rw-r--r-- | docs/definitions.md | 47 | ||||
| -rw-r--r-- | docs/index.md | 7 | ||||
| -rw-r--r-- | mkdocs.yml | 5 |
3 files changed, 2 insertions, 57 deletions
diff --git a/docs/definitions.md b/docs/definitions.md deleted file mode 100644 index 0b1140e..0000000 --- a/docs/definitions.md +++ /dev/null @@ -1,47 +0,0 @@ -# Definitions - -Kevin's nomenclature for Kevin's language - ---- - -## Syntax Definitions - -### Var `[a-z][0-9A-Za-z_]{0,49}` - -### Type `[A-Z][0-9A-Za-z_]{0,49}` - -### Qualifier `%[a-z]\+` - -### Symbol `\.[0-9A-Za-z_]{1,50}` - -### Character `'\\?.' - -### String `".*?"` - -### Operator ``[a-z].*?\|[~!$&*-+=|:;,./]` - -### Statement - -### Separator `\n\|;` - -### List `()` - -### Definition `[]` - -### Action `[@#^?]` - -### Body `{}` - -## Runtime Definitions - -### Task - -A collection of runtime state - -### Procedure - -A collection of code for a task - -### Process - -A collection of procedures for a task diff --git a/docs/index.md b/docs/index.md index fda9b2c..e69de29 100644 --- a/docs/index.md +++ b/docs/index.md @@ -1,7 +0,0 @@ -# Kevins Programming Language (KPL) - -Typed Jitted Asynchronous - -Language Specification Version 0.0.0 - ---- @@ -1,9 +1,8 @@ site_name: KPL Specification site_dir: 'public' repo_url: https://git.kpl.dev/kpl-specification/ -repo_name: Source +repo_name: Git copyright: Copyright © nodist theme: readthedocs nav: - - Overview: index.md - - Definitions: definitions.md + - Main : 'index.md' |