proof/doc_rows · eukhe · Tangled

Coding agent with a memory of all things

eukhe proof doc_rows

1 folder · 12 files

at bend/stackfix

gildrb.com · read: a gap marker before every span that does not start right after the one before (doc_rows) · 2w ago

rows_view_shows

read: a gap marker before every span that does not start right after the one before (doc_rows)

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)

rows_entry_answers.bend

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)

rows_entry_exact.bend

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)

rows_entry_example.bend

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)

rows_gap_example.bend

read: a gap marker before every span that does not start right after the one before (doc_rows)

rows_gap_marks_every_jump.bend

read: a gap marker before every span that does not start right after the one before (doc_rows)

rows_gate_refuses.bend

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)

rows_lines_are_read_rows.bend

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)

rows_raw_lines_are_pieces.bend

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)

rows_req_fits_example.bend

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)

rows_view_example.bend

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)

rows_view_shows.bend

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)