/idris-code-highlighter

A semantic highlighter for Idris code

Primary LanguageIdrisMIT LicenseMIT

Watchers