Data

Tools

Indexes

Applications

Experiments

Open Source Science

Recent Releases of https://github.com/agda/agda-language-server

https://github.com/agda/agda-language-server - v0.2.7.0.1.5

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.7.0.1.4...v0.2.7.0.1.5

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.7.0.1.4

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.7.0.1.3...v0.2.7.0.1.4

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.7.0.1.4

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.7.0.1.3...v0.2.7.0.1.4

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.7.0.1.3

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.7.0.1.2...v0.2.7.0.1.3

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.7.0.1.2

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.7.0.1.1...v0.2.7.0.1.2

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.7.0.1.1

What's Changed

  • Upgrade Agda to v2.7.0.1 by @banacorn in https://github.com/agda/agda-language-server/pull/28
  • Integration testing for the language server by @banacorn in https://github.com/agda/agda-language-server/pull/29

New Contributors

  • @banacorn made their first contribution in https://github.com/agda/agda-language-server/pull/28

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.7.0.1.0...v0.2.7.0.1.1

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.7.0.1.0

What's Changed

  • agda 2.6.4 by @andreasabel in https://github.com/agda/agda-language-server/pull/22
  • lsp 2 by @andreasabel in https://github.com/agda/agda-language-server/pull/23

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.4.0.3...v0.2.7.0.1.0

- Haskell
Published by github-actions[bot] over 1 year ago

https://github.com/agda/agda-language-server - v0.2.6.4.0.3

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.4.0.2...v0.2.6.4.0.3

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v-test-release

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.4.0.2...v-test-release

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.4.0.2

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.4.0.1...v0.2.6.4.0.2

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.4.0.1

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.4.0.0...v0.2.6.4.0.1

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.4.0.0

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.3.0...v0.2.6.4.0.0

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.3.0

What's Changed

  • v0.2.6.3.0 Build with and embed Agda-2.6.3 by @andreasabel in https://github.com/agda/agda-language-server/pull/21

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.2.2.1...v0.2.6.3.0

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.2.2.1

What's Changed

  • v0.2.6.2.2.1: Build with lsp-1.6 on GHC 9.2 and LTS 20.26 by @andreasabel in https://github.com/agda/agda-language-server/pull/20

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.6.2.2...v0.2.6.2.2.1

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.2.2

What's Changed

  • [ update ] Bump Agda to 2.6.2.1 by @L-TChen in https://github.com/agda/agda-language-server/pull/9
  • Use recent text-icu to allow build on Mac M1 by @FranklinChen in https://github.com/agda/agda-language-server/pull/10
  • [ update ] Bump Agda to 2.6.2.2 by @mildsunrise in https://github.com/agda/agda-language-server/pull/12
  • CI overhaul and fix build with cabal by @andreasabel in https://github.com/agda/agda-language-server/pull/16
  • Build with lsp-1.4 (stackage lts-19.33) by @andreasabel in https://github.com/agda/agda-language-server/pull/17
  • Change versioning scheme to x.agda-version.y by @andreasabel in https://github.com/agda/agda-language-server/pull/18
  • CI caching: include resolver in the cache key by @andreasabel in https://github.com/agda/agda-language-server/pull/19

New Contributors

  • @L-TChen made their first contribution in https://github.com/agda/agda-language-server/pull/9
  • @FranklinChen made their first contribution in https://github.com/agda/agda-language-server/pull/10
  • @mildsunrise made their first contribution in https://github.com/agda/agda-language-server/pull/12
  • @andreasabel made their first contribution in https://github.com/agda/agda-language-server/pull/16

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.1...v0.2.6.2.2

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.6.2.2

What's Changed

  • [ update ] Bump Agda to 2.6.2.1 by @L-TChen in https://github.com/agda/agda-language-server/pull/9
  • Use recent text-icu to allow build on Mac M1 by @FranklinChen in https://github.com/agda/agda-language-server/pull/10
  • [ update ] Bump Agda to 2.6.2.2 by @mildsunrise in https://github.com/agda/agda-language-server/pull/12
  • CI overhaul and fix build with cabal by @andreasabel in https://github.com/agda/agda-language-server/pull/16
  • Build with lsp-1.4 (stackage lts-19.33) by @andreasabel in https://github.com/agda/agda-language-server/pull/17
  • Change versioning scheme to x.agda-version.y by @andreasabel in https://github.com/agda/agda-language-server/pull/18

New Contributors

  • @L-TChen made their first contribution in https://github.com/agda/agda-language-server/pull/9
  • @FranklinChen made their first contribution in https://github.com/agda/agda-language-server/pull/10
  • @mildsunrise made their first contribution in https://github.com/agda/agda-language-server/pull/12
  • @andreasabel made their first contribution in https://github.com/agda/agda-language-server/pull/16

Full Changelog: https://github.com/agda/agda-language-server/compare/v0.2.1...v0.2.6.2.2

- Haskell
Published by github-actions[bot] over 2 years ago

https://github.com/agda/agda-language-server - v0.2.2

- Haskell
Published by github-actions[bot] over 4 years ago

https://github.com/agda/agda-language-server - v0.2.1

- Haskell
Published by github-actions[bot] over 4 years ago

https://github.com/agda/agda-language-server - v0.2.0

- Haskell
Published by github-actions[bot] over 4 years ago

https://github.com/agda/agda-language-server - v0.1.4

- Haskell
Published by github-actions[bot] over 4 years ago

https://github.com/agda/agda-language-server - v0.1.3

- Haskell
Published by github-actions[bot] over 4 years ago

https://github.com/agda/agda-language-server - v0.1.2

- Haskell
Published by github-actions[bot] over 4 years ago

https://github.com/agda/agda-language-server - v0.1.1

- Haskell
Published by github-actions[bot] almost 5 years ago

https://github.com/agda/agda-language-server - v0.1.0.5

- Haskell
Published by github-actions[bot] almost 5 years ago

https://github.com/agda/agda-language-server - v0.1.0.4

- Haskell
Published by github-actions[bot] almost 5 years ago

https://github.com/agda/agda-language-server - v0.1.0.3

- Haskell
Published by github-actions[bot] almost 5 years ago

https://github.com/agda/agda-language-server - v0.1.0.2

- Haskell
Published by github-actions[bot] almost 5 years ago

https://github.com/agda/agda-language-server - v0.1.0.1

- Haskell
Published by github-actions[bot] almost 5 years ago

https://github.com/agda/agda-language-server - v0.1.0.0

- Haskell
Published by github-actions[bot] almost 5 years ago