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

Directory listing for agda2hs-1.4 source tarball

agda2hs-1.4/lib/base/Haskell/Prim/

• Absurd.agda
• Applicative.agda
• Bool.agda
• Bounded.agda
• Char.agda
• Double.agda
• Either.agda
• Enum.agda
• Eq.agda
• Foldable.agda
• Functor.agda
• IO.agda
• Int.agda
• Integer.agda
• List.agda
• Maybe.agda
• Monad.agda
• Monoid.agda
• Num.agda
• Ord.agda
• Show.agda
• Strict.agda
• String.agda
• Thunk.agda
• Traversable.agda
• Tuple.agda
• Word.agda