Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
149 B · 7 lines
12345678# eukhe: the proof of LAW rows_req_fits_example
import Baseimport ../../laws/doc_rows.bend as DocRows
def DocRows.rows_req_fits_example(): {==}