agda-language-server-0.0.3.0: test/Spec.hs

main :: IO ()
main = putStrLn "Test suite not yet implemented"