A Language Server for Grammatical framework, providing errors and warnings and go-to-definition
Primary LanguageHaskell