Idris Syntax

by tellnobody1 ST3

No description provided

Details

Version 2.0.0
Homepage packages.sublimetext.io
Issues github.com
Modified 5 months ago
Last Seen 2 hours ago
First Seen 8 years ago

Installs

Total 349
Win 103
Mac 127
Linux 119

	Nov 2	Nov 1	Oct 31	Oct 30	Oct 29	Oct 28	Oct 27	Oct 26	Oct 25	Oct 24	Oct 23	Oct 22	Oct 21	Oct 20	Oct 19	Oct 18	Oct 17	Oct 16	Oct 15	Oct 14	Oct 13	Oct 12	Oct 11	Oct 10	Oct 9	Oct 8	Oct 7	Oct 6	Oct 5	Oct 4	Oct 3	Oct 2	Oct 1	Sep 30	Sep 29	Sep 28	Sep 27	Sep 26	Sep 25	Sep 24	Sep 23	Sep 22	Sep 21	Sep 20	Sep 19
Windows	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
Mac	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	1	0	0	0	0	0
Linux	0	0	0	0	0	0	0	0	0	0	0	0	1	3	4	0	0	2	12	1	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0

Readme

Source: raw.githubusercontent.com

Idris Syntax Support for Sublime Text 4

Syntax highlighting for Idris and Idris2 source files. The syntax definition tracks Idris2 language tokens through v0.8.0, including current keywords, pragmas, nested comments, raw and multiline strings, interpolation, and underscored numeric literals.

Installation

mkdir -p ~/Library/Application\ Support/Sublime\ Text/Packages/IdrisSyntax
cp ./idris.sublime-syntax ~/Library/Application\ Support/Sublime\ Text/Packages/IdrisSyntax/
cp ./Comments.tmPreferences ~/Library/Application\ Support/Sublime\ Text/Packages/IdrisSyntax/

Then switch syntax to Idris.

Testing

while fswatch -1 ./idris.sublime-syntax; do rsync -a ./idris.sublime-syntax ~/Library/Application\ Support/Sublime\ Text/Packages/IdrisSyntax/; done