Idris Syntax

by tellnobody1 ST3

No description provided

Details

Version 2.0.0
Homepage packages.sublimetext.io
Issues github.com
Modified 2 months ago
Last Seen 4 minutes ago
First Seen 7 years ago

Installs

Total 335
Win 99
Mac 123
Linux 113

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

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