git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/icons
9 files
../ idris-128x128.pngIcons and mimetype declarations idris-256x256.pngIcons and mimetype declarations idris-48x48.pngIcons and mimetype declarations idris-512x512.pngIcons and mimetype declarations idris-64x64.pngIcons and mimetype declarations text-x-idris.svgIcons and mimetype declarations x-idris-bytecode.xmlIcons and mimetype declarations x-idris-literate.xmlIcons and mimetype declarations x-idris.xmlIcons and mimetype declarations