Development Release (dev)

Development pre-release build from latest changes. This is a pre-release for testing purposes.

v0.2.7.0.1.5

Full Changelog: v0.2.7.0.1.4...v0.2.7.0.1.5

v0.2.7.0.1.4

Full Changelog: v0.2.7.0.1.3...v0.2.7.0.1.4

v0.2.7.0.1.3

Full Changelog: v0.2.7.0.1.2...v0.2.7.0.1.3

v0.2.7.0.1.2

Full Changelog: v0.2.7.0.1.1...v0.2.7.0.1.2

v0.2.7.0.1.1

What's Changed

• Upgrade Agda to v2.7.0.1 by @banacorn in #28
• Integration testing for the language server by @banacorn in #29

New Contributors

• @banacorn made their first contribution in #28

Full Changelog: v0.2.7.0.1.0...v0.2.7.0.1.1

v0.2.7.0.1.0

What's Changed

• agda 2.6.4 by @andreasabel in #22
• lsp 2 by @andreasabel in #23

Full Changelog: v0.2.6.4.0.3...v0.2.7.0.1.0

v0.2.6.4.0.3

Full Changelog: v0.2.6.4.0.2...v0.2.6.4.0.3

v0.2.6.4.0.2

Full Changelog: v0.2.6.4.0.1...v0.2.6.4.0.2

v0.2.6.4.0.1

Full Changelog: v0.2.6.4.0.0...v0.2.6.4.0.1