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

Directory listing for agda2hs-1.1 candidate source tarball

agda2hs-1.1/

• CHANGELOG.md
• LICENSE
• README.md
• 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
      • Rewrites.hs
      • Term.hs
      • Type.hs
      • TypeDefinition.hs
      • Types.hs
      • Utils.hs
  • agda2hs-mode/
    • Main.hs
  • data/
    • emacs-mode/
      • agda-input.el
      • agda2-abbrevs.el
      • agda2-highlight.el
      • agda2-mode-pkg.el
      • agda2-mode.el
      • agda2-queue.el
      • agda2.el
      • annotation.el
      • eri.el