docs: Update project docs.

Author: dylan-sutton-chavez

README.md

@@ -0,0 +1,48 @@
+# Edge Python
+
+A compact, single-pass SSA bytecode compiler and stack VM for a functional subset of CPython 3.13 syntax. Hand-written lexer, Pratt parser that emits bytecode directly, and a threaded-code interpreter with per-instruction inline caching and pure-function memoization.
+
+Built for deterministic execution in sandboxed and embedded environments. The release WASM build is ~130 KB.
+
+- **Demo:** [demo.edgepython.com](https://demo.edgepython.com/)
+- **Docs:** [edgepython.com](https://edgepython.com/)
+
+## Repository layout
+
+```text
+# Rust crate: lexer, parser, optimizer, VM
+compiler/
+
+# Browser playground (HTML + WASM + Web Worker)
+demo/
+
+# Mintlify documentation source
+documentation/
+
+# CI/CD pipelines (lint, native builds, WASM, demo)
+.github/
+```
+
+## Quick start
+
+```bash
+# Native binary
+cd compiler
+cargo build --release
+./target/release/edge -c 'print((lambda x: x * 2)(21))'
+
+# Run a file with sandbox limits
+./target/release/edge --sandbox script.py
+```
+
+Pre-built binaries for Linux, macOS, and Windows are available on the [releases page](https://github.com/dylan-sutton-chavez/edge-python/releases).
+
+## What it is
+
+Edge Python targets functional edge computing: first-class functions, lambdas, closures, generators, comprehensions, and pure-function memoization. Classes and imports parse for compatibility but raise at runtime. There is no object model and no module system.
+
+For architecture details, see [`compiler/README.md`](compiler/README.md). For language reference and implementation notes, see the [docs](https://edgepython.com/).
+
+## License
+
+MIT OR Apache-2.0

compiler/README.md

@@ -78,35 +78,49 @@ Mark-and-sweep with roots: stack, globals, iterator frames, current slot window,
 ## 7. Project Structure
 
 ```text
-src/
-├── lib.rs
-├── main.rs
-└── modules/
-    ├── fstr.rs
-    ├── fx.rs
-    ├── lexer/
-    │   ├── mod.rs
-    │   ├── scan.rs
-    │   └── tables.rs
-    ├── parser/
-    │   ├── mod.rs
-    │   ├── expr.rs
-    │   ├── stmt.rs
-    │   ├── control.rs
-    │   ├── literals.rs
-    │   └── types.rs
-    └── vm/
-        ├── mod.rs
-        ├── cache.rs
-        ├── optimizer.rs
-        ├── ops.rs
-        ├── types.rs
-        ├── builtins.rs
-        └── handlers/
-            ├── arith.rs
-            ├── data.rs
-            ├── function.rs
-            └── methods.rs
+├── Cargo.lock
+├── Cargo.toml
+├── README.md
+├── src
+│   ├── lib.rs
+│   ├── main.rs
+│   ├── modules
+│   │   ├── fstr.rs
+│   │   ├── fx.rs
+│   │   ├── lexer
+│   │   │   ├── mod.rs
+│   │   │   ├── scan.rs
+│   │   │   └── tables.rs
+│   │   ├── parser
+│   │   │   ├── control.rs
+│   │   │   ├── expr.rs
+│   │   │   ├── literals.rs
+│   │   │   ├── mod.rs
+│   │   │   ├── stmt.rs
+│   │   │   └── types.rs
+│   │   └── vm
+│   │       ├── builtins.rs
+│   │       ├── cache.rs
+│   │       ├── handlers
+│   │       │   ├── arith.rs
+│   │       │   ├── data.rs
+│   │       │   ├── function.rs
+│   │       │   ├── methods.rs
+│   │       │   └── mod.rs
+│   │       ├── mod.rs
+│   │       ├── ops.rs
+│   │       ├── optimizer.rs
+│   │       └── types.rs
+│   └── wasm.rs
+└── tests
+    ├── cases
+    │   ├── lexer.json
+    │   ├── parser.json
+    │   └── vm.json
+    ├── lexer.rs
+    ├── main.rs
+    ├── parser.rs
+    └── vm.rs
 ```
 
 ---

documentation/reference/methods.md

@@ -98,7 +98,7 @@ True
 
 ```python
 print("a,b,c".split(","))
-print("hello world".split())     # any whitespace
+print("hello world".split()) # any whitespace
 print(",".join(["a", "b", "c"]))
 print("hello".replace("l", "L"))
 ```
@@ -136,7 +136,7 @@ print(xs.count(2))
 
 ys = xs.copy()
 ys.append(99)
-print(xs)            # original unchanged
+print(xs) # original unchanged
 print(ys)
 ```
 
@@ -173,13 +173,13 @@ print(xs)
 ```python
 xs = [1, 2, 3, 2]
 
-xs.remove(2)         # first occurrence
+xs.remove(2) # first occurrence
 print(xs)
 
-popped = xs.pop()    # last
+popped = xs.pop() # last
 print(popped, xs)
 
-popped = xs.pop(0)   # by index
+popped = xs.pop(0) # by index
 print(popped, xs)
 ```
 
@@ -264,7 +264,7 @@ fallback
 ```python
 d = {}
 d.setdefault("a", 1)
-d.setdefault("a", 999)        # second call ignored
+d.setdefault("a", 999) # second call ignored
 print(d)
 ```