Commits

History for

Commits on Aug 1, 2026

feat(lsp): replace regex-based inlay hints with typechecker-backed inference
dporkka
committed
7934c75

Commits on Jul 31, 2026

feat: nula test --verbose flag + docs: list function polymorphism
dporkka
committed
f04a92e
feat(bootstrap): Stage 12 — 64-bit closure encoding, 2-param lambdas, type checking
dporkka
committed
34761dd
feat(bootstrap): Stage 11 — type checking for arithmetic + booleans
dporkka
committed
51dc123

Commits on Jul 28, 2026

feat(bootstrap): stdin REPL mode for interactive expression evaluation
dporkka
committed
09cd1f3
feat(bootstrap): Stage 8 — comparison and boolean operators
dporkka
committed
13b6a7a
feat(bootstrap): Stage 7 — if/then/else conditional expression
dporkka
committed
0d3b254
feat(bootstrap): Stage 6 — 4-slot environment, 4-deep let nesting
dporkka
committed
0748cd9

Commits on Jul 24, 2026

Commits on Jul 19, 2026

feat: formal semantics scaffold + bootstrap compiler skeleton
dporkka
committed
e1f358b

Loading