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

Directory listing for agda2hs-1.0 source tarball

agda2hs-1.0/

• LICENSE
• agda2hs.cabal
• src/
  • AgdaInternals.hs
  • Main.hs
  • Agda2Hs/
    • AgdaUtils.hs
    • Compile.hs
    • HsUtils.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