j-mueller / language-agda

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

j-mueller/language-agda Stargazers