Open shriram opened 1 year ago
Lean on fall 2022 notes: see October 17.
It may help to first have a "get-one-row/exn" helper function for tables.
Lean on fall 2022 notes: see October 17.
It may help to first have a "get-one-row/exn" helper function for tables.