Skip to content

Support Agda v2.7.0 #222

Support Agda v2.7.0

Support Agda v2.7.0 #222

Annotations

2 errors and 1 warning

This job was cancelled