Skip to content

Bump CI to agda-2.8 and stdlib-2.3 #602

Bump CI to agda-2.8 and stdlib-2.3

Bump CI to agda-2.8 and stdlib-2.3 #602