Skip to content

[ refactor ] use variables more systematically in Data.List.Fresh{.*} - #2916

Merged
JacquesCarette merged 21 commits into
agda:masterfrom
jamesmckinna:refactor-fresh
Mar 15, 2026
Merged

[ refactor ] use variables more systematically in Data.List.Fresh{.*}#2916
JacquesCarette merged 21 commits into
agda:masterfrom
jamesmckinna:refactor-fresh

fix: whitespace

43dc5f3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.