agda

Quantifiers in Agda 17-02-2019