/src/Data/Setoid/

• ../
• Definition.idr
• Either.idr
• Indexed.idr
• Indexed
• List.idr
• Pair.idr
• Vect.idr
• Vect