From d25ad596b0f7c77e44055adc7669971b1187bcab Mon Sep 17 00:00:00 2001 From: nodist Date: Sat, 8 Aug 2026 08:47:20 -0400 Subject: reset --- docs/definitions.md | 47 ----------------------------------------------- docs/index.md | 7 ------- mkdocs.yml | 5 ++--- 3 files changed, 2 insertions(+), 57 deletions(-) delete mode 100644 docs/definitions.md 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 - ---- diff --git a/mkdocs.yml b/mkdocs.yml index c9b6f27..7a98d26 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -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' -- cgit v1.2.3