/src/Total/Encoded/

• ../
• Test.idr
• Util.idr