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

Directory listing for agda2hs-1.4 candidate source tarball

agda2hs-1.4/lib/base/

• base.agda-lib
• Haskell/
  • Law.agda
  • Prelude.agda
  • Prim.agda
  • Control/
    • Exception.agda
    • Monad.agda
  • Data/
    • List.agda
    • Maybe.agda
    • Ord.agda
  • Extra/
    • Dec.agda
    • Delay.agda
    • Erase.agda
    • Refinement.agda
    • Sigma.agda
  • Law/
    • Applicative.agda
    • Bool.agda
    • Def.agda
    • Either.agda
    • Eq.agda
    • Equality.agda
    • Extensionality.agda
    • Function.agda
    • Functor.agda
    • Int.agda
    • Integer.agda
    • List.agda
    • Maybe.agda
    • Monad.agda
    • Monoid.agda
    • Nat.agda
    • Num.agda
    • Ord.agda
    • Applicative/
      • Def.agda
      • Either.agda
      • FromMonad.agda
      • IO.agda
      • List.agda
      • Maybe.agda
    • Eq/
      • Def.agda
      • Instances.agda
    • Functor/
      • Def.agda
      • Either.agda
      • FromMonad.agda
      • IO.agda
      • List.agda
      • Maybe.agda
    • Monad/
      • Def.agda
      • Either.agda
      • IO.agda
      • List.agda
      • Maybe.agda
    • Monoid/
      • Def.agda
      • List.agda
      • Maybe.agda
    • Num/
      • Def.agda
      • Int.agda
      • Integer.agda
      • Nat.agda
      • Word.agda
    • Ord/
      • Bool.agda
      • Def.agda
      • Maybe.agda
      • Ordering.agda
    • Semigroup/
      • Def.agda
      • Either.agda
      • List.agda
      • Maybe.agda
  • 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