Idris Syntax

by tellnobody1 ST3

No description provided

Details

Version 2.0.0
Homepage packages.sublimetext.io
Issues github.com
Modified 2 weeks ago
Last Seen 2 hours ago
First Seen 7 years ago

Installs

Total 331
Win 99
Mac 122
Linux 110

	Jun 10	Jun 9	Jun 8	Jun 7	Jun 6	Jun 5	Jun 4	Jun 3	Jun 2	Jun 1	May 31	May 30	May 29	May 28	May 27	May 26	May 25	May 24	May 23	May 22	May 21	May 20	May 19	May 18	May 17	May 16	May 15	May 14	May 13	May 12	May 11	May 10	May 9	May 8	May 7	May 6	May 5	May 4	May 3	May 2	May 1	Apr 30	Apr 29	Apr 28	Apr 27	Apr 26
Windows	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	0	0	0	0	0	0	0	0	0	0	1
Mac	0	0	0	0	0	0	0	0	0	1	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	0	0	0	0
Linux	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	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