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

Directory listing for PandocAgda-2.3.3.0.1 source tarball

PandocAgda-2.3.3.0.1/

• LICENSE
• PandocAgda.cabal
• Setup.hs
• src/
  • data/
    • Agda.css
    • Agda.template
  • full/
    • Agda/
      • PandocMain.hs
      • undefined.h
      • Interaction/
        • PandocConvertOptions.hs
        • PandocOptions.hs
        • Highlighting/
          • PandocHTML.hs
  • main/
    • Main.hs