Design Documents
This page is automatically generated from the design_docs/implemented directory. Each design document describes a feature, bug fix, or architectural decision that has been implemented.
v0.7.1
- Hello World Feature
- M-CHAT-HISTORY: Claude Code Conversation History Integration
- M-CHAT-HISTORY Sprint Plan
- M-DETERMINISTIC-CHAT-LINKING: Deterministic Task-to-Chat Message Linking
- M-DX24: Developer Experience Improvements - BigQuery Connector Feedback
- Sprint Plan: M-DX25 Scoped Budgets with Dual Counters & Budget Reporting
- M-DX25: Scoped Budgets with Dual Counters & Budget Reporting
- M-HOT-RELOAD: Hot Reload for serve-api
- Sprint Plan: M-HOT-RELOAD - Hot Reload for serve-api
- M-POLY-ADT: Polymorphic ADT Type Inference with Option
- M-POLY-ADT Sprint Plan: Fix Polymorphic ADT Constructor Types
- M-SERVE-API: Auto-Serve AILANG Exports as REST API
- Sprint Plan: M-TRACE-BRIDGE
- M-TRACE-BRIDGE: Bridge OTEL Spans to TraceRegistry
- M-VERIFY-CONTRACTS: Runtime Contract Enforcement (Language-Wide)
- Sprint Plan: M-WORKSPACE-ACCESS
- M-WORKSPACE-ACCESS: Multi-Workspace Access Control with Public/Private Visibility
- Sprint Plan: M-TRACE-TEST - Trace Testing Framework
- Trace Test
v0.7.0
- AILANG Dogfooding: Gaps Discovered
- M-EVAL-AGENT-QUEUE: Queue-Based Agent Evaluation Architecture
- Retrospective: Observability Dashboard Development
- Concatenation Operator (
++) Type Inference Bug - Evaluation Dashboard Reliability
- M-AI-OLLAMA Sprint Plan
- M-AUTH Sprint Plan: Firebase Authentication & Dashboard Authorization
- M-AUTH: Firebase Authentication & Role-Based Authorization for Dashboard
- M-BUILTIN-SAFETY: Defensive Type Checking in Builtin Implementations
- M-CODEGEN-LIST-TYPE-DEFINITION: Fix Undefined List Type in Generated Code
- M-CODEGEN-LIST-TYPE: Sprint Plan
- M-COLLAB-PROVIDER-STATS Sprint Plan
- M-COLLAB-PROVIDER-STATS: Provider & Workspace Tags and Statistics for Collaboration Hub
- M-CONTROL-PLANE-INTERACTIVE-FILTERING
- Sprint Plan: M-CONTROL-PLANE-V4-INTEGRATION
- M-CONTROL-PLANE-V4-INTEGRATION: Unified Telemetry for Agent Monitoring
- M-CONTROL-PLANE-V4: AILANG Operations Control Plane
- Sprint Plan: M-COORD-ARTIFACT-DISCOVERY
- M-COORD-ARTIFACT-DISCOVERY: Fix Coordinator Skill Invocation and Artifact Discovery
- M-COORD-AUTO-REVISION: Automatic Agent Revision on GitHub Feedback
- Sprint Plan: M-COORD-GENERIC-WORKFLOWS
- M-COORD-GENERIC-WORKFLOWS: Configurable Agent Workflows
- M-COORD-HUMAN-LOOP Sprint Plan
- M-COORD-HUMAN-LOOP: Human-in-the-Loop Coordinator Workflow
- Sprint Plan: M-COORD-TASKCHAIN-TESTS
- M-COORD-TASKCHAIN-TESTS: Add TaskChain Test Coverage
- M-COORD-UI-APPROVALS: Dashboard Coordinator Approval Workflow
- M-COORDINATOR: Always-On Autonomous Development Daemon
- M-COORDINATOR-TEST-WORKFLOW: Simple Coordinator Test File Creation
- Sprint Plan: M-DASHBOARD-APPROVAL-INTEGRATION
- M-DASHBOARD-APPROVAL-INTEGRATION: Complete Dashboard Coordinator Approval Workflow
- M-DASHBOARD-CLI: Dashboard API CLI Commands
- M-DASHBOARD-DOGFOODING: AILANG Dashboard Integration
- M-DB-CLEANUP: Database Schema Cleanup and Consolidation
- Sprint Plan: M-DEPRECATE-AILANG-AGENT
- M-DEPRECATE-AILANG-AGENT: Deprecate Standalone Agent Binary
- M-EMBED: Generic AILANG Embedding API
- M-AI-OLLAMA: Unified Ollama Provider for Local Models
- M-EXECUTOR-TEST: Comprehensive Test Coverage for Multi-Executor System
- M-GAP1: Fix Teaching Prompt Lambda Syntax
- M-GAP2: Fix Final Expression Lambda Arity Bug
- Sprint Plan: M-GAP2 Fix Path-Dependent Lambda Arity Bug
- Sprint Plan: M-GAP2 Final Expression Lambda Arity Bug
- Sprint Plan: M-GAP4 - Record Width Subtyping via Row Polymorphism
- M-GAP4: Record Width Subtyping via Row Polymorphism
- Sprint Plan: M-GAP5 - Add
repeatto std/string - M-GAP5: Add
repeatto std/string - Sprint Plan: M-GAP6 - Add maximum/minimum to std/list
- M-GAP6: Add
maximumandminimumto std/list - M-GENERIC-PIPELINE: Config-Driven Agent Pipelines
- Sprint Plan: M-JSON-HELPERS
- M-JSON-HELPERS: Convenience Functions for JSON Access
- Sprint Plan: M-MSG-ROUTING - Message Routing DX Improvements
- Sprint Plan: M-OPENAI-RESPONSES-API Completion
- Sprint Plan: M-OPENAI-RESPONSES-API
- M-OPENAI-RESPONSES-API: OpenAI Responses API & Agent Module
- M-OTEL-CROSS-PROCESS: Cross-Process Trace Linking
- Sprint Plan: M-OTEL-CROSS-PROCESS
- M-OTEL-DASHBOARD Implementation Report
- Sprint Plan: M-OTEL-ENHANCED-TRACING-DX
- M-OTEL-ENHANCED-TRACING-DX: Human-Friendly Tracing for Debugging
- M-OTEL-EXTENDED: Extended OpenTelemetry Instrumentation
- M-OTEL-EXTENDED Sprint Plan
- Parser Infinite Loop Guard
- Sprint Plan: M-PARSER-LOOP - Parser Infinite Loop Guard
- M-POLY-ARITH: Fix Polymorphic Arithmetic Operators in Lambdas
- M-SCRIPT-INVOKE Sprint Plan
- M-SCRIPT-INVOKE: Deterministic Script Execution for Agent Workflows
- M-SESSION-WORKSPACE: Claude Code Rich Telemetry via Hooks
- Sprint Plan: M-STDLIB-DATETIME
- M-STDLIB-DATETIME: Date and Time Standard Library
- Sprint Plan: String Reverse Builtin (
_string_reverse) - String Reverse Builtin (
_string_reverse) - M-TASK-HIERARCHY Follow-ups
- M-TASK-HIERARCHY: Task-to-Trace Linking
- M-TASK-HIERARCHY Sprint Plan
- Sprint Plan: M-TRANSCRIPT
- M-TRANSCRIPT: Unified Conversation History & Feedback Loop
- Observatory Architecture
- AILANG v0.6.3 Bug Fixes
v0.6.2
- Sprint Plan: DX-17 Phase 2 - Normalize TList to TApp
- DX-17 Phase 2: Normalize TList to TApp at Parse Time
- M-BUG-EFFECT-CHECKER-CONFLATION: Effect Checker Incorrectly Requires IO for Pure Functions
- Sprint Plan: M-BUG-EFFECT-CHECKER-CONFLATION
- Sprint Plan: M-CAPABILITY-BUDGETS
- M-CAPABILITY-BUDGETS: Resource-Bounded Effects
- M-CODEGEN-BOOL-ASSERTIONS: Type assertions for boolean contexts in Go codegen
- M-CODEGEN-DICTIONARIES Sprint Plan
- M-CODEGEN-DICTIONARIES: Generate Type Class Dictionary Implementations for Go
- M-CODEGEN-VALUE-TYPES: Size-Based Pointer vs Value Strategy
- Sprint Plan: M-COORD-APPROVALWATCHER-OBSERVABILITY
- M-COORD-APPROVALWATCHER-OBSERVABILITY: ApprovalWatcher Debug and Observability
- M-COORD-GITHUB-AUTO-ROUTING Sprint Plan
- M-COORD-GITHUB-AUTO-ROUTING: GitHub-Driven Autonomous Workflow
- Sprint Plan: M-COORD-GITHUB-AUTO-ROUTING Completion
- Sprint Plan: M-COORD-STABLE
- M-COORD-STABLE: Coordinator Daemon Stability & Agent Collaboration Foundation
- M-COORD-FEEDBACK Sprint Plan
- M-COORD-FEEDBACK: Coordinator Executor Feedback Loop
- M-COORDINATOR-QUESTION-MODE: Read-Only Execution for Questions
- M-DX11 Phase 2: Type Checker Debug Event Emission
- M-DX11 Phase 2 Sprint Plan: Debug Event Emission
- M-DX17-LIST-NORMALIZATION-BUG: List[T] Not Normalized to Lowercase
- M-DX19: Auto-Derive Eq for ADT Types
- M-DX19 Sprint Plan: Auto-Derive Eq for ADT Types
- M-DX22 Sprint Plan: ADT Constructor Resolution
- M-DX22: Go Codegen - ADT Constructor Resolution Ambiguity
- M-GITHUB-USER-OVERRIDE: GitHub Account Override Flag
- M-OTEL: OpenTelemetry OTLP Integration
- M-OTEL Sprint Plan: OpenTelemetry OTLP Integration
- Sprint Plan: M-PATTERN-GUARDS
- M-PATTERN-GUARDS: Pattern Guard Evaluation in Codegen
- M-RECORD-PATTERNS Sprint Plan
- M-RECORD-PATTERNS: Record Pattern Matching
v0.6.1
- M-BUG: List Length Returns Sum Instead of Count
- Sprint Plan: M-BUG-LIST-LENGTH - Resolution Documentation
- Sprint Plan: M-CODEGEN-ADT-DOUBLE-PAREN
- M-CODEGEN-ADT-DOUBLE-PAREN: Fix Empty Double-Paren ADT Constructor Calls
- Sprint Plan: M-DX Check Directory Support
- M-DX: Add Directory Support to
ailang check - M-DX16: Inline Record Literals in Match Arms
- M-DX16 Sprint Plan: Inline Record Literals in Match Arms
- M-DX17: Go Codegen - ConcatList Undefined + Closure Variable Scoping
- M-DX18: Go Codegen - Non-Exported Function Namespacing
- M-DX20: Wildcard Pattern Type Inference in List Patterns
- M-DX21: Show Stdlib Version Warning Once Per Session
- M-ENV-TYPE Sprint Plan: Fix EnvError Type Parameter Bug
- M-ENV-TYPE: Fix std/env EnvError Type Parameter Bug
- M-EXEC-GEMINI Sprint Plan: Gemini CLI Executor Implementation
- M-EXEC: Multi-Executor Support for AI Coding Agents
- M-LETREC-SCOPING: Fix Letrec Recursive Binding Scope Regression
- Sprint Plan: M-LETREC-SCOPING Fix
- M-VERIFY: Runtime Contract Checks (Phase 0 + 0.5)
- Sprint Plan: M-VERIFY Phase 0 + 0.5 - Contract Infrastructure & Runtime Checks
v0.6.0
- DX-15: Shared Memory + Near-Duplicate Caching MVP
- DX-16: SharedIndex — Deterministic Semantic Retrieval for SharedMem
- Sprint Completion Report: DX-16 SharedIndex — Deterministic Semantic Retrieval
- DX-17: TList/TApp Type Unification - Sprint Plan
- DX-17: TList/TApp Type Unification Bug (Phase 1)
- M-CODEGEN-UNIFIED-SLICE-CONVERTERS: Complete Typed Slice Conversion
- M-DOC-SEM: Lazy Embeddings for Neural Doc Search
- Sprint Plan: M-DOC-SEM Lazy Embeddings for Neural Doc Search
- M-DOCS-ACCURACY: Website Documentation Accuracy Update
- Sprint Plan: M-DX11-DEBUG-TYPES-CLI (Type Inference Debug CLI)
- M-DX11-DEBUG-TYPES-CLI: Type Inference Debug CLI
- Sprint Plan: M-DX11-TYPE-PROVENANCE
- M-DX11-TYPE-PROVENANCE: Type Origin Tracking
- M-DX27: Fix Invalid Bool Type Assertion in Nested Match
- M-DX29: Fix Nested ADT Type in Option Pattern Match
- M-DX30: Add Missing EqString Runtime Helper
- M-JSON-ACCESSORS: Enable JSON Accessor Functions
- M-MSG-SEMANTIC: Semantic Search + Safe Deduplication for AILANG Messages
- M-MSG-SEMANTIC Sprint Plan: Semantic Search for AILANG Messages
- M-RT1: List Pattern Match Return Value Bug
- Sprint Plan: M-TYPENAME-NESTED-PROPAGATION
- M-TYPENAME-NESTED-PROPAGATION: TypeName Propagation to Nested Record Literals
- Semantic Caching: Implementation Status (v0.5.11)
v0.5.10
- Codegen Bug Pattern Analysis: v0.5.10
- M-CODEGEN-ADT-TYPE-ASSERT: Fix Invalid Type Assertions on ADT Constructor Results
- M-CODEGEN-CROSS-MODULE: Cross-Module Function Calls Use _impl
- M-CODEGEN-LIST: Flatten List Literals and Bool Matches
- Sprint Plan: M-CODEGEN-LIST - Flatten List Literals and Bool Matches
- M-CODEGEN-NESTED-RECORD-TYPE: Fix Nested Record Type Selection
- M-CODEGEN-RECORD-TYPENAME-PRESERVATION: Fix TypeName Loss During Substitution
- M-CODEGEN-TUPLE: Tuple Pattern Matching in Go Codegen
- M-CROSS-MODULE-RECORD-UNIFICATION: Fix Type Unification for Cross-Module Nested Record Fields
- Sprint Plan: M-DX11-CYCLES (Type Graph Cycle Detection)
- M-DX11-CYCLES: Type Graph Cycle Detection Command
- M-DX11: Type Inference Debugging Tools
- Sprint Plan: M-DX11-TYPE-REPORT (Type Inference Debug Primitive)
- M-FIX-FLOAT-OP: Float Operator Dispatch in Pure Functions
- Fix Type Application in Return Type Annotations (Option[T])
- String Conversion Functions (floatToStr, intToStr)
- M-UNIFIED-AI-PROVIDERS: Unified AI Provider Architecture
- Sprint Plan: M-UNIFIED-AI-PROVIDERS
v0.5.9
- M-CODEGEN-FLAT-IF-ELSE: Flatten Nested Closure Chains in If-Else Codegen
- M-CODEGEN: Array Runtime Typed Slice Support
- M-CODEGEN-OPTION-RUNTIME-HELPERS: Fix GetOpt to Return *Option Instead of Map
- M-CODEGEN-POINTER-RETURN-TYPES: Fix Type Assertion Failures for Record Returns
- M-CODEGEN-STDLIB-MATH: Go Codegen Missing std/math Function Definitions
- M-CODEGEN-V2: Flat Go Code Generation
- Sprint Plan: M-CODEGEN-V2 - Flat Go Code Generation
- M-DX11: Cyclic Type Diagnostics & Hang Prevention
- Sprint Plan: M-DX11 Cyclic Type Diagnostics
- Sprint Plan: M-DX11-TRAVERSE - Safe Type Traversal Library
- M-DX11-TRAVERSE: Safe Type Traversal Library
- M-FIX-FLOAT-OP: Complete Fix Summary
- M-FIX-IF-ELSE-LET: Better Error for Let in If-Else Branches
- M-FIX-NESTED-RECORD-LIST: Nested Record List Type Inference Bug
- M-MSG-GITHUB: GitHub Issues Backend for Messaging System
- Sprint Plan: M-MSG-GITHUB - GitHub Issues Backend
v0.5.8
- Sprint Plan: M-BUGFIX v0.5.8 Bug Fix Sprint
- M-CODEGEN-BLANK: Fix Blank Identifier and Return Type Codegen Bugs
- M-CODEGEN-BOOL-SLICE: Add Bool Slice Converter
- M-CODEGEN-LIST-CONCAT: Add List Concatenation Runtime Helper
- M-CODEGEN-TYPE-ASSERTIONS: Fix _impl Functions Calling Typed Exports
- M-CODEGEN-TYPED-PARAMS: Fix Typed Parameters Becoming interface
- M-CODEGEN-ZERO-ARG: Fix Zero-Arg Function Code Generation
- M-PERF1: Effect Checker Performance for Large Array Literals
- M-PERF2: Cyclic Type Traversal Hang - Post-Mortem Analysis
- M-PERF2: Operator Lowering Hang on Complex Modules
- M-TYPE-ALIAS: Type Alias Expansion in ADT Variant Parameters
v0.5.7
- M-CODEGEN-TYPED-SLICES: Runtime List Functions for Typed Slices
- M-DX11: Better Stdlib Discovery for AI Agents
- typesIdentical Performance Bug (Large Records)
v0.5.6
- M-EVAL-GUARD: Eval Process Guardrails & Orphan Detection
- M-MSG: Agent Messaging System Improvements
- M-MSG Sprint Plan: Agent Messaging System Rewrite
- M-TYPE1: Array/TArray Type Unification Bug
- M-TYPE1 Sprint Plan: Array/TArray Type Unification Bug Fix
v0.5.5
- M-DX23: Typed Function Signatures
- M-DX24: Typed Function Bodies
- M-DX25: Typed Let Bindings
- M-DX26: Typed Wrapper Architecture
v0.5.4
- M-DX17: Integer Literals Generated as int Instead of int64
- M-DX18: RecordAccess Uses Map Syntax on Typed Structs
- M-DX22: Auto-Generate ADT Slice Converters
v0.5.3
- M-DX11: Named ADT Constructor Fields for Go Codegen
- Sprint Plan: M-DX11 Relaxed Module Matching
- Sprint Plan: M-DX12 Typed World Boundary Marshalling
- M-DX12: Typed World Boundary Marshalling
v0.5.2
- M-DX11: Relaxed Module Matching
- M-GAME-B Phase 2: Complete Go Codegen for Game Modules
- M-GAME-B Phase 2 Sprint Plan
v0.5.0
- M-AGENT-PROTOCOL: Agent-to-Agent Communication Protocol
- M-EVAL-AGENT: Multi-Agent Eval Benchmark Suite
- M-GAME-A: Go Codegen Foundation
- M-GAME-B: Effects for Games
- M-GAME-C: Compiler UX & Extern Functions
- M-GAME-D: Sim Example & Integration
- M-GAME-E1: Debug Effect (Foundational Trace Substrate)
- M-GAME-E2: AI Effect (General-Purpose AI Oracle)
- Sprint Plan: M-GAME-ENGINE - Game Support Enablement
- AILANG Consumer Contract v0.5.x
- Consumer Contract Gap Analysis
- gameengine
- Sprint Plan: M-BUG-FIXES (TVar2 List Pattern + ADT Test Harness)
- M-BUG-NESTED-RECORD-ANF: ANF Completion for Let RHS
v0.4.8
- Sprint Plan: M-BUG-LOCAL-IMPORTS - Fix Local Module Import Resolution
- M-BUG-LOCAL-IMPORTS: Fix Local Module Import Resolution
- Sprint Plan: M-BUG-RECORD-UPDATE-INFERENCE
- M-BUG-RECORD-UPDATE-INFERENCE: Fix Record Update Type Inference
- Sprint Plan: M-BUG-RECURSION-DEPTH
- M-BUG-RECURSION-DEPTH: Fix Unexpected Recursion Depth Overflow
- M-IMPORT-ALIASING: Module and Symbol Aliasing
v0.4.7
v0.4.6
- String split() Implementation Summary (v0.4.6)
- M-LANG-CLI-ARGS Sprint Completion Report
- Sprint Plan: M-LANG-CLI-ARGS (v0.4.6)
- M-LANG-CLI-ARGS: Command-Line Arguments Access
- M-DX10: Complete S-CALL0 and Unit-Argument Model
- M-DX11: String Split Builtin
- UI Collaboration Hub - Human-AI Orchestration Interface
v0.4.5
- Sprint Plan: M-BUG-NULLARY - Nullary Constructor Pattern Matching Fix
- Agent Execution Integration
- Nullary Constructor Pattern Matching Bug
v0.4.3
- M-SOUNDNESS Effect Checking Implementation - Completion Report
- Sprint Plan: M-SOUNDNESS Effect Checking Implementation
- M-SOUNDNESS: Effect Checking for Entry Module Prelude
v0.4.0
v0.3.25
v0.3.23
v0.3.22
v0.3.20
- M-CLAUDE-CODE-HEADLESS Sprint Plan
- M-CLAUDE-CODE-INTEGRATION: Hooks & Inbox (Phases 1-2)
- M-CLAUDE-CODE-INTEGRATION: Document Split
v0.3.18
- M-DX4 Sprint Plan: CoreTypeInfo Completeness (REFINED)
- Sprint Plan: M-DX4 CoreTypeInfo Population Gaps
- M-DX4: CoreTypeInfo Completeness & Type-Guided Lowering
v0.3.17
- AILANG: Compilation Failures
- Sprint Plan: M-COMPILE-ERROR - Enhanced Error Messages for AI Code Generation
v0.3.16
- M-DX2: Operator Development Experience Improvements - COMPLETE ✅
- M-DX2 Milestone 1: Type-Guided Lowering - COMPLETE ✅
- M-DX2 Milestone 2: Core IR Helpers - COMPLETE ✅
- M-DX2 Milestone 3: Debug CLI - COMPLETE ✅
- M-DX2 Milestone 4: Better Runtime Errors - COMPLETE ✅
- Lambda Expressions Example Refactor
- List Concatenation Operator Fix
- M-EVAL Round-Robin: Better Parallel Distribution Across Model Providers
v0.3.15
v0.3.14
- 🛡️ Bulletproof Regression Guard System - COMPLETE
- M-LANG: JSON Decode Implementation (v0.3.14)
- Agent Inbox - Quick Reference
- Agent Inbox Message Acknowledgment System
- SessionStart Hook for Agent Inbox
- List Pattern Spread Syntax
- Tier 0 Completion Summary - v0.3.14
v0.3.10
- M-DASH: Eval Dashboard Reliability
- M-DX1: Developer Experience Improvements
- M-EVAL-LOOP: Self-Improving AI Feedback Loop
- 1. Rebuild (every time)
- M-DX1 Day 3: Polish & Migration (v0.3.10+)
- M-DX1 Future Polish (v0.3.15+)
- M-LANG: Implement
show()Builtin Function
v0.3.9
v0.3.6
- Design Doc Deduplication: Implementation Summary
- Enhancement: Design Doc Deduplication & Merging
- AI Eval → Design Doc Generation: Implementation Summary
- Prompt suggested:
v0.3.5
- AI Usability Assessment: Is AILANG "The Language AIs Prefer"?
- v0.3.5: Functional Completeness Sprint
v0.3.2
v0.3.0
- M-R4: Recursion Support
- M-R5: Records & Row Polymorphism
- M-R7: Type System Fixes (Integral & Float Comparison)
- M-R8: Block Expressions
- M-EVAL-CAPS: Capability Specification in Benchmark YAML
- M-EVAL: AI Usability Benchmarking Harness
- v0.3.0 Implementation Plan
v0.3
- AILANG v0.3.3: Float Equality OpLowering Fix
- Add
letrecSyntax for Recursive Lambdas - AILANG v0.3.4+ Strategic Direction - Implementation Audit
- Audit Report: 20251013_next_steps_audit.md Status
- Numeric Coercion for Mixed-Type Arithmetic
- v0.3.11 Critical Regression Fix Summary
- Float Equality Bug - Investigation & Resolution Report
- M-R5b: Record Extension & Update Syntax
- M-R6: Clock & Net Effects
- M-REPL0: REPL Basic Stabilization
- Dashboard Workflow Improvements (v0.3.12)
- PYTHON: Runtime Errors [RESOLVED]
v0.2.0
- M-P1: Parser Baseline - COMPLETED ✅
- M-P2 Implementation Progress Report
- M-P2: ADT Syntax + Tuples - 5-Day Plan
- M-P3: Pattern Matching Foundation (Phase 3.0)
- M-P4: Effect System (Type-Level Only) - 4 Days
- M-P5: Pattern Matching in Function Bodies - Sprint Plan
- M-S1B: Fix Export System & Builtin Visibility
- M-S1 Polish: Ship v0.1.0 in 72 Hours
- M-S1: Stdlib Implementation Sprint Plan
- M-S1 Current Status - Stdlib Implementation
- M-S1: Stdlib Implementation Status
- Parser Next Steps: Pattern Matching in Function Bodies
- AILANG v4.0: The AI-Enhanced Design
- emits main.airun (signed), main.sbom.json, main.ledger.min.json
- M-R1: Module Execution Runtime (v0.2.0)
- M-R2: Minimal Effect Runtime
- M-R3: Pattern Matching Polish
- M-R3: Pattern Matching Polish
- milestonea2
- self improvement goal
- Sprint Plan: M-R1 Phase 5 - Function Invocation & stdlib Support
- Sprint Plan: M-R1 Phase 5 - Function Invocation & stdlib Support (REFINED)
- AILANG v0.1.0 MVP Roadmap
- AILANG v0.2.0 Implementation Plan
- when to switch from go
v0.0.12
v0.0.4
v0.0.3
- V0 0 3 IMPLEMENTATION REPORT
- gpt 5 appendix
- gpt5 reference code
- AILANG: The AI-First Programming Language
Generated at build time. 376 design documents across 41 versions.