Skip to content

Delete README.dot

5760aab
Select commit
Loading
Failed to load commit list.
Merged

Simplify import of Data.List.Relation.Binary.Pointwise in agda-stdl #2019

Delete README.dot
5760aab
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs