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

Directory listing for agda-language-server-0.2.0 source tarball

agda-language-server-0.2.0/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• agda-language-server.cabal
• package.yaml
• stack.yaml
• app/
  • Main.hs
• src/
  • Agda.hs
  • Monad.hs
  • Options.hs
  • Render.hs
  • Server.hs
  • Switchboard.hs
  • Agda/
    • Convert.hs
    • IR.hs
    • Parser.hs
    • Position.hs
  • Control/
    • Concurrent/
      • SizedChan.hs
  • Render/
    • Class.hs
    • Common.hs
    • Concrete.hs
    • Interaction.hs
    • Internal.hs
    • Literal.hs
    • Name.hs
    • Position.hs
    • RichText.hs
    • TypeChecking.hs
    • Utils.hs
  • Server/
    • CommandController.hs
    • Handler.hs
    • ResponseController.hs
• test/
  • Test.hs
  • Test/
    • SrcLoc.hs