2 Commits

Author	SHA1	Message	Date
Brandon Lucas	cdc4f47272	fix: fix REST API and HTTP server examples ... - Fix string interpolation issues: escape curly braces with \{ and \} since unescaped { triggers string interpolation - Fix effectful function invocation: use "let _ = run main() with {}" instead of bare "main()" calls - Use inline record types instead of type aliases (structural typing) - Fix flake.nix to show build progress instead of suppressing output Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2026-02-13 23:11:51 -05:00
Brandon Lucas	705bd57e81	docs: add demos and update documentation for new features ... Documentation: - Update IMPLEMENTATION_PLAN.md with current status (222 tests) - Update feature comparison table (Schema Evolution, Behavioral Types: ✅) - Add HttpServer to built-in effects list - Update OVERVIEW.md with working behavioral types examples Demo Programs: - examples/schema_evolution.lux - Version annotations, constraints, runtime ops - examples/behavioral_types.lux - pure, deterministic, commutative, idempotent, total Sample Project: - projects/rest-api/ - Full REST API demo with: - Task CRUD endpoints - Pattern matching router - JSON serialization - Effect-tracked request handling Tests: - Add behavioral type tests (pure, deterministic, commutative, idempotent, total) - 227 tests passing Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2026-02-13 22:14:55 -05:00