Skip to content

Bump to agda-2.8.0

8bf5f40
Select commit
Loading
Failed to load commit list.
Merged

Bump to agda-2.8.0 #35

Bump to agda-2.8.0
8bf5f40
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar