• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for idris-0.9.5 source tarball

idris-0.9.5/lib/Prelude/

• Algebra.idr
• Applicative.idr
• Cast.idr
• Chars.idr
• Complex.idr
• Either.idr
• Fin.idr
• Heap.idr
• List.idr
• Maybe.idr
• Monad.idr
• Morphisms.idr
• Nat.idr
• Strings.idr
• Vect.idr