search

agda / agda-language-server

Language Server for Agda
MIT License
102 stars 17 forks source link

[ doc ] git clone https #3

Closed mio-19 closed 3 years ago

banacorn commented 3 years ago

謝謝！