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

Directory listing for agda-server-0.1.1 source tarball

agda-server-0.1.1/

• AgdaInterface.hs
• Args.hs
• Html.hs
• JS.hs
• JSDict.hs
• JSDictDef.hs
• LICENSE
• Main.hs
• Memo.hs
• Param.hs
• Setup.hs
• Standalone.hs
• agda-server.cabal
• copy/
  • Agda.css
  • agda.template
  • common.css
  • common.js
  • common_en.js
  • icon.ico
  • slidy.js