idris-hackers / idris-sublime Goto Github PK

It seems that Github Linguist is using this repo as its source for highlighting Idris code. But it doesn't recognize the "interface" and "implementation" keywords.

Idris has a machine-readable REPL designed to make editor integration easy. Vim doesn't use it due to limitations in running subprocesses, but Atom and Emacs do. It provides things like richer semantic information for compiler output (tooltips with docstrings on names), extra commands, Agda-style semantic highlighting of source code, etc. I think this enables a nicer editor mode than --client.

Docs are here. If you're interested, I'm happy to answer questions, make tweaks that make your life easier, or improve the docs.

Missing features:

• interface, implementation, namespace, export, and rewrite … in … are not colored as keywords
• Identifier names ending with multiple 's will cause all text after it being colored as string.
• Does not support 'identifier, "label-as-type".

cc. @edwinb

People requested it here: laughedelic/sublime-idris#2.

• https://packagecontrol.io

When plugin is used with 0.2.0 it tries to invoke idris2 with --find-ipkg. However 0.2.0 does not have this option and returns an error when invoked. idris-sublime subsequently reports that idris is not in PATH.

Hello there, we'd love to use this library to syntax-highlight files on GitHub but in order to do so we need this library to have a more permissive license.

If you don't have any particular reason for choosing GPL would you be willing to consider switching this to a more permissive license such as MIT, BSD or Apache 2?

Many thanks
Arfon (GitHub Staff)