/src/Data/Vect/Quantifiers/

• ../
• Extra.idr