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

Directory listing for agda2hs-1.4 candidate source tarball

agda2hs-1.4/lib/base/Haskell/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