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

Directory listing for cornelis-0.2.0.1 source tarball

cornelis-0.2.0.1/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• cornelis.cabal
• app/
  • Main.hs
• src/
  • Lib.hs
  • Plugin.hs
  • Cornelis/
    • Agda.hs
    • Config.hs
    • Debug.hs
    • Diff.hs
    • Goals.hs
    • Highlighting.hs
    • InfoWin.hs
    • Offsets.hs
    • Pretty.hs
    • Subscripts.hs
    • Types.hs
    • Utils.hs
    • Vim.hs
    • Types/
      • Agda.hs
• test/
  • Hello.agda
  • PropertySpec.hs
  • Readonly.agda
  • Spec.hs
  • TestSpec.hs
  • Utils.hs