Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for idris-1.0.1 candidate source tarball
idris-1.0.1/icons/
idris-128x128.png
idris-256x256.png
idris-48x48.png
idris-512x512.png
idris-64x64.png
idris.ico
idris_icon.rc
text-x-idris.svg
x-idris-bytecode.xml
x-idris-literate.xml
x-idris.xml