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

Directory listing for agda2hs-1.4 source tarball

agda2hs-1.4/

• CHANGELOG.md
• LICENSE
• README.md
• agda2hs.cabal
• 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
• src/
  • AgdaInternals.hs
  • Main.hs
  • Agda2Hs/
    • AgdaUtils.hs
    • Compile.hs
    • Config.hs
    • Pragma.hs
    • Render.hs
    • Compile/
      • ClassInstance.hs
      • Data.hs
      • Function.hs
      • Function.hs-boot
      • Imports.hs
      • Name.hs
      • Postulate.hs
      • Record.hs
      • Term.hs
      • Type.hs
      • TypeDefinition.hs
      • Types.hs
      • Utils.hs
      • Var.hs
    • Language/
      • Haskell.hs
      • Haskell/
        • Pretty.hs
        • Utils.hs