Skip to content

[#14970] perf: give currRecDepth its own ReaderT layer in CoreM - #31

Draft
downstream-lean4[bot] wants to merge 3 commits into
masterfrom
adaptation-14970
Draft

[#14970] perf: give currRecDepth its own ReaderT layer in CoreM #31
downstream-lean4[bot] wants to merge 3 commits into
masterfrom
adaptation-14970

downstream: follow upstream PR

a71541f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar