Skip to content

Bump to agda-2.7.0.1/stdlib-2.2

72842fc
Select commit
Loading
Failed to load commit list.
Merged

Bump to agda-2.7.0.1/stdlib-2.2 #16

Bump to agda-2.7.0.1/stdlib-2.2
72842fc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar