4 Commits

Author	SHA1	Message	Date
Brandon Lucas	44ea1eebb0	style: auto-format example files with lux fmt ... Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>	2026-02-17 06:52:44 -05:00
Brandon Lucas	26d340b5a3	chore: fix flake.nix rebuild detection ... Better source change detection using find instead of single file check. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2026-02-15 03:54:36 -05:00
Brandon Lucas	f5fe7d5335	fix: fix examples to use working patterns ... - behavioral.lux: use verifiable behavioral patterns (abs for idempotent) - behavioral_types.lux: use simpler verified patterns, proper main invocation - schema_evolution.lux: simplify to runtime schema ops, fix record access - jit_test.lux: add proper main function with console output All examples now parse and run correctly. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>	2026-02-13 23:31:21 -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