git.iko.soy/knot-legacy
on master help sign in
history ofREADME.md
all commits
c67a2b4Aggregates return one-element relations; drop obsolete docs2026.9.3.1342iko 6f84e98Require a type signature on named function definitions; remove standalone sigs2026.8.22.1144iko 90244feRemove tools/migrate (knot-migrate), a spent one-shot syntax upgrader.2026.8.19.640iko 9d49da1Remove the `full` read marker. A bare `*rel` read is always allowed (no opt-in gate); `rows <- *rel` in an IO do-block binds the whole relation `[T]`, while a pure comprehension `i <- *rel` iterates per-row — the difference is the block monad, not a marker. `full` now only marks a whole-table WRITE (`full *rel = ...`). Removed the SourceRef.full flag, the codegen full-read gate + unnecessary-full lint, and the full_read_spans/full_read_in_memory tracking.2026.8.15.632iko 59b3f04Remove the & derived-relation syntax. Query fields (bare with-record fields whose value is a relation query) replace &name entirely: they are pure lazy [T], inline at each use (pushdown folds through, re-reads fresh), and self-referencing ones route to knot_relation_fixpoint. Removed TokenKind::AmpersandIdent, ExprKind::DerivedRef/DerivedDecl, DeclViewKind::Derived, RelMarker::Derived, RecordRelKind::Derived, the define_recursive_derived/expr_contains_derived_ref machinery, the recursive_derived/recursive_body_fns/derived_types/deriveds registries, and the & parser arms. The bare & token stays only as the route query-param separator.2026.8.15.255iko 4270c95Document the missing language features in the README2026.8.11.545iko d0ba637Document the structured logging API and guttered multiline output2026.8.11.512iko 5d30e4bdocs: update README for api-DSL route syntaxiko b27826fRemove record update syntax {base | f v}; unify supersedes it2026.8.3.1039iko ddfebf4Require full marker on non-pushed-down relation reads: a bare *rel read that codegen cannot push to SQL now errors (full *rel to allow the in-memory whole-table load). SourceRef gains a full flag (parsed from full *rel read position, kept distinct from the full *rel = expr write), codegen emits the error at the in-memory full-load fallback, formatter preserves full on reads, LSP/tools updated for the struct variant. Examples + all 5 docs migrated; knot.md/DESIGN.md document the requirement2026.8.1.810iko d5d9edfRename replace keyword to full: replace *rel = expr -> full *rel = expr (TokenKind::Replace->Full, ExprKind::ReplaceSet->FullSet across compiler+LSP+tools/migrate, formatter emits full, examples+docs+doccheck updated; doccheck binary path now repo-relative)2026.7.31.1833iko 44fe4efRemove effect-row prose from all docs (no effect tracking in impl); correct atomic/serve/fork/race claims2026.7.30.1616iko 4eef0b5Docs follow impl: remove effect rows (IO T, not IO {eff} T); fix README true/false and case-arm syntax2026.7.30.1603iko 0919363feat(syntax): remove commas from relation literals; ctors take payload unparenthesized2026.7.28.1827iko 9f50eefdocs(readme): detail records before the with-heavy sections; stress everything-is-an-expression2026.7.28.1704iko d39e30cdocs: rewrite DESIGN.md/knot.md/README trait narrative to match structural dispatch2026.7.28.732iko 62efad1docs: normalize all record-VALUE literals to space form across README/DESIGN/stdlib/knot2026.7.28.704iko ce3c76ddocs: README — add tools/migrate + full doc list to Project Structure, correct test section (75: migrate+runtime, no frontend/compiler unit tests)2026.7.28.646iko 4e007d2Fix five broken examples + comprehensive README + new base.md2026.7.28.421iko a37cb26Const-fold && and || in refinement predicates; document refined types2026.7.26.1320iko 0920cfbAdd "Learn Knot in Y Minutes" guide to the README2026.7.26.708iko f66a602Replace do-block let/let-in with with-records2026.7.19.124Lancelot c66c527Change unit syntax from angle brackets to regular type application2026.7.18.136iko 4e25af2Fix documentation: remove nonexistent `set` keyword, update type signatures (parseJson/Int/count), correct examples, add knot-lspiko 19f4d87Update documentation to match current implementation2026.5.29.1451iko bfabb86Update examples and README to reflect current compiler state2026.5.24.848iko 0d3cef4Rename executable from knotc to knotiko 6590a26Document trait hierarchy, Sequence/Traversable, Cons patterns, and add comprehensive stdlib function signaturesiko ed5ba60Center logo in README2026.4.5.2046iko 6d017c9Fix README logo alignment2026.4.5.2045iko 0bbb96eAdd Knot logo as VS Code extension icon and to README2026.4.5.2041iko 01e927fUpdate all docs for IO-wrapped relations, fork/retry concurrency, and atomic semanticsiko 596ab25Document standard library and create README with documentation linksiko