Directory listing for idris-1.0 source tarball | Hackage

Hackage :: [Package]

Home
Browse
What's new
Upload
User accounts

Directory listing for idris-1.0 source tarball

idris-1.0/test/idrisdoc006/A/fully/Qualified/

NAME.idr