Sign in
Join now
eukhe
gildrb.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Coding agent with a memory of all things
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
eukhe
/
proof
/
doc_rows
1 folder
·
10 files
at
bend/all-shell
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)
·
2w ago
6de35e9b
rows_view_shows
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)
2w ago
base.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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago
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)
2w ago