equivalence 0.4

1 Reverse dep Accepted versions
Agda >=0.3.2 && <0.5