Syntax highlighting for sygus
Primary LanguageVim scriptMIT LicenseMIT
No issues in this repository yet.