Skip to content

Make a BinderAndDecls data type, at first just a wrapper around Binder.#1323

Open
dougalm wants to merge 2 commits intomainfrom
decls-in-binders-no-joke
Open

Make a `BinderAndDecls` data type, at first just a wrapper around `Binder`.#1323
dougalm wants to merge 2 commits intomainfrom
decls-in-binders-no-joke

Commits

Commits on Jul 11, 2023

Commits on Jul 21, 2023