Flora :: [Package]

Search a package

@hackage / agda-language-server

An implementation of language server protocal (LSP) for Agda 2.

0.2.6.3.0

About 7 Versions Changelog 13 Dependencies 0 Dependent Security

About 7 Versions Changelog 13 Dependencies 0 Dependent Security

Version history

0.2.6.3.0
- Uploaded: 2 years ago
- License: MIT
0.2.6.2.2.1
- Uploaded: 2 years ago
- License: MIT
0.2.6.2.2
- Uploaded: 2 years ago
- License: MIT
0.2.2.6.2Version Deprecated
- Uploaded: 2 years ago
- License: MIT
0.2.1
- Uploaded: 4 years ago
- Revised: 2 years ago
- License: MIT
0.2.0
- Uploaded: 4 years ago
- License: MIT
0.0.3.0
- Uploaded: 5 years ago
- License: MIT

A modern package index for Haskell

More links

Documentation
All Packages
Login

Get In Touch

Email
Mastodon
Bluesky

A project made by humans Sources distributed under AGPL license Design & Frontend by Guérilla.Studio