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

Directory listing for idris-0.9.20 candidate source tarball

idris-0.9.20/libs/prelude/Prelude/

• Algebra.idr
• Applicative.idr
• Basics.idr
• Bits.idr
• Bool.idr
• Cast.idr
• Chars.idr
• Classes.idr
• Doubles.idr
• Either.idr
• File.idr
• Foldable.idr
• Functor.idr
• Interactive.idr
• List.idr
• Maybe.idr
• Monad.idr
• Nat.idr
• Pairs.idr
• Providers.idr
• Show.idr
• Stream.idr
• Strings.idr
• Traversable.idr
• Uninhabited.idr