• 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/

• Builtins.idr
• IO.idr
• Makefile
• Prelude.idr
• prelude.ipkg
• Decidable/
  • Equality.idr
• Language/
  • Reflection.idr
  • Reflection/
    • Elab.idr
    • Errors.idr
• 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