/src/Inky/Data/

• ../
• Fun.idr
• Row.idr
• Thinned.idr