This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Use record to get `with` keyword.#1040

Open

cgranade wants to merge 1 commit intomainfrom

cgranade/submission-options

Commits on Jun 14, 2022

Use record to get `with` keyword.
cgranade
committed