equivalence 0.3.2

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