Dependencies for agda-language-server-0.2.0

library
als