/src/Encoded/

• ../
• Arith.idr
• Bool.idr
• Container.idr
• Fin.idr
• Pair.idr
• Sum.idr
• Term.idr
• Test.idr
• Vect.idr