Claude/ephapax linear types e00 zs (#5)

* feat: Initial Ephapax language implementation

Ephapax is a linear type system for safe memory management
targeting WebAssembly.

This commit includes:

Core Implementation:
- ephapax-syntax: AST definitions with linear type annotations
- ephapax-typing: Linear type checker with region support
- ephapax-wasm: WASM code generator with bump allocation
- ephapax-runtime: no_std WASM runtime with region management

Formal Semantics (Coq):
- Syntax.v: Core type and expression definitions
- Typing.v: Linear typing rules with context tracking
- Semantics.v: Operational semantics and safety theorems

Documentation:
- Language specification (spec/SPEC.md)
- Comprehensive wiki documentation
- ROADMAP.md with detailed development plan
- CONTRIBUTING.adoc guide

Infrastructure:
- Cargo workspace with 4 crates
- CI/CD workflow for Rust and Coq
- EUPL-1.2 license

Key features:
- Linear types prevent use-after-free and memory leaks
- Region-based memory management for bulk deallocation
- Second-class borrows for temporary access
- Formal proofs in Coq for type safety

* feat(frontend): Add lexer and parser for Ephapax language

Implements Phase 2 (Language Frontend) of the Ephapax roadmap:

- ephapax-lexer: High-performance lexer using logos
  - Tokenizes all Ephapax syntax (keywords, operators, literals)
  - Support for nested block comments {- -}
  - String escape sequence handling
  - Comprehensive error recovery
  - 20+ unit tests

- ephapax-parser: Parser combinator implementation using chumsky
  - Complete expression parsing (let, fn, if, region, case, etc.)
  - Type parsing (base types, String@region, functions, products, sums)
  - Declaration parsing (fn, type)
  - Rich error reporting with ariadne
  - 19 unit tests + doc tests

All tests pass successfully.

* feat(backend): Add interpreter, REPL, CLI, and standard library

- Complete ephapax-typing with full expression type checking
  (pair, sum types, case, let, string operations)
- Add ephapax-interp tree-walking interpreter for debugging
- Create ephapax-repl with interactive REPL and commands
  (:help, :type, :load, :tokens, :reset, :verbose)
- Build ephapax-cli with subcommands (run, check, compile, repl)
- Add ephapax-stdlib with prelude, I/O, string, math modules
- Add compile_module function to ephapax-wasm

* chore: Add library folder structure for common and specific libraries

Set up directory structure for Ephapax libraries:
- library/common/ for shared language implementations
- library/specific/ for Ephapax-specific code

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

Cargo.lock

@@ -0,0 +1,12 @@
+# Ephapax Library
+
+This directory contains the Ephapax standard library files.
+
+## Structure
+
+- `common/` - Common library code shared across language implementations
+- `specific/` - Ephapax-specific library code
+
+## Usage
+
+Library files use the `.ephapax` extension and are automatically loaded by the compiler and REPL.

library/README.md

@@ -0,0 +1,28 @@
+# SPDX-License-Identifier: EUPL-1.2
+# SPDX-FileCopyrightText: 2025 Jonathan D.A. Jewell
+
+[package]
+name = "ephapax-cli"
+description = "Command-line interface for Ephapax"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+authors.workspace = true
+repository.workspace = true
+
+[[bin]]
+name = "ephapax"
+path = "src/main.rs"
+
+[dependencies]
+ephapax-syntax.workspace = true
+ephapax-lexer.workspace = true
+ephapax-parser.workspace = true
+ephapax-typing.workspace = true
+ephapax-wasm.workspace = true
+ephapax-interp.workspace = true
+ephapax-repl.workspace = true
+smol_str.workspace = true
+clap.workspace = true
+colored.workspace = true
+ariadne.workspace = true