Skip to content

Collection of saw-core-rocq cleanups and fixes - #3361

Merged
RyanGlScott merged 30 commits into
masterfrom
rocq-collection
Aug 11, 2026
Merged

Collection of saw-core-rocq cleanups and fixes#3361
RyanGlScott merged 30 commits into
masterfrom
rocq-collection

Language.Rocq.Pretty: Fix spelling of the alternate binder types.

fd47fb4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar