Skip to content

Update src/Data/List/Properties.agda

cce7aed
Select commit
Loading
Failed to load commit list.
Merged

Add partition-is-foldr to Data.List.Properties #2505

Update src/Data/List/Properties.agda
cce7aed
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs