All Categories → No Category → agda-mode

Top 2 agda-mode open source projects

agda-mode-vscode

agda-mode on VS Code

✭ 112

ReScript CSS Less vscode vscode-extension agda reasonml agda-mode

agda-language-server

Language Server for Agda

✭ 81

haskell shell language-server-protocol agda agda-mode

1-2 of 2 agda-mode projects