Idris Syntax

by tellnobody1 ST3

No description provided

Details

Version 1.0.0
Homepage packagecontrol.io
Issues github.com
Modified 6 years ago
Last Seen 30 minutes ago
First Seen 6 years ago

Installs

Total 308
Win 92
Mac 115
Linux 101

	Aug 13	Aug 12	Aug 11	Aug 10	Aug 9	Aug 8	Aug 7	Aug 6	Aug 5	Aug 4	Aug 3	Aug 2	Aug 1	Jul 31	Jul 30	Jul 29	Jul 28	Jul 27	Jul 26	Jul 25	Jul 24	Jul 23	Jul 22	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
Windows	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	1	0	0	0	0	0	0	1	0	0	0	0	0
Mac	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	0	0	0	0
Linux	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	2	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 3

Installation

mkdir ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax
cp ./idris.sublime-syntax  ~/Library/Application\ Support/Sublime\ Text\ 3/Packages/IdrisSyntax/
cp ./Comments.tmPreferences  ~/Library/Application\ Support/Sublime\ Text\ 3/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\ 3/Packages/IdrisSyntax/; done