agda

• Quantifiers in Agda Feb 17, 2019