agda-language-server-0.0.3.0: Setup.hs

import Distribution.Simple
main = defaultMain