docs: remove outdated OCaml references from README

- Update Quick Start to use cargo/Rust tooling (not dune/OCaml)
- Update Development section with actual stack (Rust+Idris2+Zig)
- Remove references to OCaml type safety (use Hindley-Milner instead)
- Clarify that 76% Rust is normal for language infrastructure

The actual implementation uses:
- Rust for compiler/VM/interpreter
- Idris2 for ABI with formal proofs
- Zig for FFI C-compatible layer
- WokeLang for examples and (future) stdlib

Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>

Author: Test

README.adoc

@@ -17,8 +17,8 @@ WokeLang: A Human-Centered Programming Language
 
 WokeLang is a programming language designed for **human collaboration**, **empathy**, and **safety**—without sacrificing power or performance. It combines:
 
-- **Python’s readability** with **Rust’s performance**.
-- **OCaml’s type safety** with **JavaScript’s expressiveness**.
+- **Python's readability** with **Rust's performance**.
+- **Hindley-Milner type inference** with **JavaScript's expressiveness**.
 - **Unique features** like `thanks to`, `only if okay`, and `measured in` for **ethical, self-documenting code**.
 
 ## Table of Contents
@@ -36,37 +36,41 @@ WokeLang is a programming language designed for **human collaboration**, **empat
 ```bash
 git clone https://github.com/hyperpolymath/wokelang.git
 cd wokelang
-./scripts/setup.sh
+
+# Install dependencies (asdf + tools)
+asdf install  # installs rust, deno, idris2, zig
+
+# Build
+cargo build --release
 
 2. Run the REPL
 
-dune utop
+cargo run --release -- repl
 
 Example REPL Session:
 
-> hello "Welcome to WokeLang!"
-> remember x = 5 measured in km
-> what is x + 3 measured in km?
-8 measured in km
+wokelang> remember x = 5 measured in km
+wokelang> x + 3 measured in km
+Result: 8 measured in km
 
 3. Run Examples
 
 # Hello World
-dune exec ./examples/hello_world.wl
+cargo run --release -- run examples/01_hello.woke
 
 # Fibonacci
-dune exec ./examples/fibonacci.wl
+cargo run --release -- run examples/13_fibonacci.woke
 
-# Gratitude Tracker (Blockchain)
-dune exec ./examples/gratitude_blockchain.wl
+# All examples
+ls examples/*.woke
 
-4. Build for Vyper/WASM
+4. Build & Execute
 
-# Vyper FFI
-cd src/ffi/vyper && vyper contracts/gratitude.vy
+# Compile to bytecode
+cargo run --release -- compile examples/01_hello.woke -o hello.wbc
 
-# WASM
-cd src/ffi/wasm && wasm-pack build --target web
+# Run on VM
+cargo run --release -- run-vm hello.wbc
 
 ```markdown
 ## 🌟 Key Features
@@ -179,38 +183,26 @@ just fmt     # Code formatting
 
 ## 🛠 Development
 
-### Dev Container
-```dockerfile
-FROM ocaml/opam:ubuntu-22.04
-
-# Install OCaml + Rust + Vyper
-RUN opam install -y dune merlin ocaml-lsp menhir && \
-    apt-get update && apt-get install -y python3-pip && \
-    pip3 install vyper maturin && \
-    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y && \
-    source "$HOME/.cargo/env" && \
-    rustup target add wasm32-unknown-unknown && \
-    cargo install wasm-pack
-
-WORKDIR /workspace
-COPY . .
-RUN dune build
-
-🛠️ Development
-
-Dev Container
-
-FROM ocaml/opam:ubuntu-22.04
-
-# Install OCaml + Rust + Vyper
-RUN opam install -y dune merlin ocaml-lsp menhir && \
-    apt-get update && apt-get install -y python3-pip && \
-    pip3 install vyper maturin && \
-    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y && \
-    source "$HOME/.cargo/env" && \
-    rustup target add wasm32-unknown-unknown && \
-    cargo install wasm-pack
-
-WORKDIR /workspace
-COPY . .
-RUN dune build
+### Development Environment
+
+**Required Tools** (managed via asdf):
+- Rust 1.84.0 - Compiler infrastructure
+- Deno 2.1.4 - Runtime (NO Node.js/npm)
+- Idris2 0.7.0 - ABI with formal proofs
+- Zig 0.13.0 - FFI C-compatible implementation
+
+```bash
+# Install asdf
+git clone https://github.com/asdf-vm/asdf.git ~/.asdf
+
+# Install plugins
+asdf plugin add rust
+asdf plugin add deno
+asdf plugin add idris2
+asdf plugin add zig
+
+# Install versions (from .tool-versions)
+asdf install
+
+# Build
+cargo build --release