Skip to content

Bump to agda-2.8.0

0ee87a6
Select commit
Loading
Failed to load commit list.
Merged

Bump to agda-2.8.0 #23

Bump to agda-2.8.0
0ee87a6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar