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

Directory listing for coda-0.0.1 candidate source tarball

coda-0.0.1/

• .hlint.yaml
• CHANGELOG.md
• CODE_OF_CONDUCT.md
• CONTRIBUTING.md
• LICENSE.md
• README.md
• Setup.hs
• coda.cabal
• package.json
• tsconfig.json
• tslint.json
• app/
  • codex/
    • Main.hs
  • codicil/
    • Main.hs
  • llvm-test/
    • Main.hs
  • lsp-test/
    • ListTest.hs
    • Main.hs
    • MapTest.hs
    • MessageTest.hs
• bin/
  • codex.sh
• code/
  • extension.ts
• data/
  • coda.json
  • images/
    • logo.png
• src/
  • algebra/
    • Rev.hs
    • Relative/
      • Delta.hs
  • automata/
    • Automata/
      • DFA.hs
      • Internal.hs
      • NFA.hs
      • Presburger.hs
    • Set/
      • Lazy.hs
  • coda/
    • LLVM.hs
    • Console/
      • Pretty/
        • LLVM.hs
    • Syntax/
      • Error.hs
      • Lexer.x
      • Located.hs
      • Name.hs
  • common/
    • FingerTree.hs
    • Algebra/
      • Ordered.hs
      • Zero.hs
    • Relative/
      • Delta/
        • Type.hs
    • Syntax/
      • Alex.hs
      • FromText.hs
      • Name.hs
      • Prefix.hs
      • Sharing.hs
    • Util/
      • BitQueue.hs
      • Bits.hs
  • console/
    • Console.hs
    • Console/
      • Command.hs
      • Completion.hs
      • Options.hs
      • Pretty.hs
      • Unicode.hsc
  • dyck/
    • Dyck.hs
    • Token.hsig
  • layout/
    • Layout.hs
  • lexer/
    • Syntax/
      • Lexer.x
  • lsp/
    • Language/
      • Server/
        • Builder.hs
        • Parser.hs
        • Protocol.hs
        • TH.hs
  • relative/
    • Absolute.hs
    • Cat.hs
    • Delta.hsig
    • List.hs
    • Located.hs
    • Map.hs
    • Queue.hs
    • Relative.hs
    • Semi.hs
  • rope/
    • Document.hs
    • Dyck.hsig
    • Lexer.hsig
    • Rope.hs
    • Summary.hsig
  • server/
    • Server.hs
    • Server/
      • Options.hs
  • set/
    • Elem.hsig
    • Set.hs
    • Set/
      • Internal.hs
  • summary-unit/
    • Dyck.hsig
    • Summary.hs
  • syntax/
    • Syntax.hs
  • termination/
    • Termination.hs
    • Termination/
      • Class.hs
      • History.hs
      • Pair.hs
      • Test.hs
      • Trie.hs
  • token/
    • Syntax/
      • Token.hs
  • version/
    • Version.hs
• test/
  • code/
    • index.ts
  • data/
    • request.golden
    • response.golden