Skip to content

Update to agda 2.8.0 #56

Update to agda 2.8.0

Update to agda 2.8.0 #56