58f5d8fDrop the `Nothing` special-case from Maybe `#`-arguments2026.9.6.1347iko1 month ago 7094642Extend collection `#`-argument elements to Bytes, Uuid, enum, and refined2026.9.6.1217iko1 month ago 7d8792eClose `#`-argument gaps: loud errors, and a concrete default beats `_`iko1 month ago 0653e18Let Vec, List, and Rel `#`-arguments share the collection flag syntaxiko1 month ago 33339f9Allow repeated `#`-arg declarations across scopes, with agreement rulesiko1 month ago c9c7da7Show per-relation on-disk size in `db info`iko1 month ago de77933Prettify `db info`: TTY-aware color, tree layout, human-readable sizesiko1 month ago 07dd9f1Add `db info`: per-source schema + full migration chain, in knot termsiko1 month ago 783cc1cMove binary dump/restore onto the compiled program as `db` subcommandsiko1 month ago 38697fcAdd `knot dump` / `knot restore`: binary db snapshot for the knot CLIiko1 month ago 19f59ccRoute descriptor consumers through knot-descriptor's parseriko1 month ago 0e5cf56Add knot-descriptor: a single owner for the schema-descriptor grammariko1 month ago a620d5bContain the knot-compile-rt FFI boundary; share the marshalling helperiko1 month ago 5e8376bContain compile-path panics behind the FFI boundary; reject dangling field typesiko1 month ago 7f54875Parse Int/Float units as ordinary type application, normalized in inferenceiko1 month ago 2d1d7a0Use native knot source syntax for the base.compile ADT-decl wire formatiko1 month ago 5aefee7Verify refined-type introductions at compile time; fix ADT ctor-variance wire parseiko1 month ago b81982bValidate compiled snippets' relations against the host, before runningiko1 month ago 553ca19Share caller db with compiled snippets so compile results are transactional in atomiciko1 month ago 8faff2fRefcount JIT code modules; free them when the last closure dropsiko1 month ago fdfd878Reject refined types in base.compile expected typesiko1 month ago