eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch

Version history of proof/doc_rows/rows_entry_example.bend

October 2026

gildrb.com
docs: line endings and read views decided by the compiled core on a per-line projection (doc_lines id 9, new doc_rows id 41)
committed