ctrl+shift+p filters: :st2 :st3 :win :osx :linux
Browse

Idris Syntax

by tellnobody1 ST3

No description provided

Details

Installs

  • Total 292
  • Win 83
  • Mac 113
  • Linux 96
Jan 7 Jan 6 Jan 5 Jan 4 Jan 3 Jan 2 Jan 1 Dec 31 Dec 30 Dec 29 Dec 28 Dec 27 Dec 26 Dec 25 Dec 24 Dec 23 Dec 22 Dec 21 Dec 20 Dec 19 Dec 18 Dec 17 Dec 16 Dec 15 Dec 14 Dec 13 Dec 12 Dec 11 Dec 10 Dec 9 Dec 8 Dec 7 Dec 6 Dec 5 Dec 4 Dec 3 Dec 2 Dec 1 Nov 30 Nov 29 Nov 28 Nov 27 Nov 26 Nov 25 Nov 24 Nov 23
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 1 0 0 0 0 0
Mac 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 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 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 2
01234Jan 7Jan 4Jan 1Dec 29Dec 26Dec 23Dec 20Dec 17Dec 14Dec 11Dec 8Dec 5Dec 2Nov 29Nov 26Nov 23Jan 7 Linux: 0 Mac: 0 Windows: 0Jan 6 Linux: 0 Mac: 0 Windows: 0Jan 5 Linux: 0 Mac: 0 Windows: 0Jan 4 Linux: 0 Mac: 0 Windows: 0Jan 3 Linux: 0 Mac: 0 Windows: 0Jan 2 Linux: 0 Mac: 0 Windows: 0Jan 1 Linux: 0 Mac: 0 Windows: 0Dec 31 Linux: 0 Mac: 0 Windows: 0Dec 30 Linux: 0 Mac: 0 Windows: 0Dec 29 Linux: 0 Mac: 0 Windows: 0Dec 28 Linux: 0 Mac: 0 Windows: 0Dec 27 Linux: 0 Mac: 0 Windows: 0Dec 26 Linux: 0 Mac: 0 Windows: 0Dec 25 Linux: 0 Mac: 0 Windows: 0Dec 24 Linux: 0 Mac: 1 Windows: 0Dec 23 Linux: 0 Mac: 0 Windows: 0Dec 22 Linux: 0 Mac: 0 Windows: 0Dec 21 Linux: 0 Mac: 0 Windows: 0Dec 20 Linux: 0 Mac: 0 Windows: 0Dec 19 Linux: 0 Mac: 0 Windows: 0Dec 18 Linux: 0 Mac: 0 Windows: 0Dec 17 Linux: 0 Mac: 0 Windows: 0Dec 16 Linux: 0 Mac: 0 Windows: 0Dec 15 Linux: 0 Mac: 0 Windows: 0Dec 14 Linux: 1 Mac: 0 Windows: 0Dec 13 Linux: 0 Mac: 0 Windows: 0Dec 12 Linux: 0 Mac: 0 Windows: 0Dec 11 Linux: 0 Mac: 0 Windows: 0Dec 10 Linux: 0 Mac: 0 Windows: 0Dec 9 Linux: 0 Mac: 0 Windows: 0Dec 8 Linux: 0 Mac: 0 Windows: 0Dec 7 Linux: 0 Mac: 0 Windows: 0Dec 6 Linux: 0 Mac: 0 Windows: 0Dec 5 Linux: 0 Mac: 0 Windows: 0Dec 4 Linux: 0 Mac: 0 Windows: 0Dec 3 Linux: 0 Mac: 0 Windows: 0Dec 2 Linux: 0 Mac: 0 Windows: 0Dec 1 Linux: 0 Mac: 0 Windows: 0Nov 30 Linux: 0 Mac: 0 Windows: 0Nov 29 Linux: 0 Mac: 0 Windows: 0Nov 28 Linux: 0 Mac: 0 Windows: 1Nov 27 Linux: 0 Mac: 0 Windows: 0Nov 26 Linux: 0 Mac: 0 Windows: 0Nov 25 Linux: 0 Mac: 0 Windows: 0Nov 24 Linux: 0 Mac: 0 Windows: 0Nov 23 Linux: 2 Mac: 0 Windows: 0Jan 7 Linux: 0 Mac: 0 Windows: 0Jan 6 Linux: 0 Mac: 0 Windows: 0Jan 5 Linux: 0 Mac: 0 Windows: 0Jan 4 Linux: 0 Mac: 0 Windows: 0Jan 3 Linux: 0 Mac: 0 Windows: 0Jan 2 Linux: 0 Mac: 0 Windows: 0Jan 1 Linux: 0 Mac: 0 Windows: 0Dec 31 Linux: 0 Mac: 0 Windows: 0Dec 30 Linux: 0 Mac: 0 Windows: 0Dec 29 Linux: 0 Mac: 0 Windows: 0Dec 28 Linux: 0 Mac: 0 Windows: 0Dec 27 Linux: 0 Mac: 0 Windows: 0Dec 26 Linux: 0 Mac: 0 Windows: 0Dec 25 Linux: 0 Mac: 0 Windows: 0Dec 24 Linux: 0 Mac: 1 Windows: 0Dec 23 Linux: 0 Mac: 0 Windows: 0Dec 22 Linux: 0 Mac: 0 Windows: 0Dec 21 Linux: 0 Mac: 0 Windows: 0Dec 20 Linux: 0 Mac: 0 Windows: 0Dec 19 Linux: 0 Mac: 0 Windows: 0Dec 18 Linux: 0 Mac: 0 Windows: 0Dec 17 Linux: 0 Mac: 0 Windows: 0Dec 16 Linux: 0 Mac: 0 Windows: 0Dec 15 Linux: 0 Mac: 0 Windows: 0Dec 14 Linux: 1 Mac: 0 Windows: 0Dec 13 Linux: 0 Mac: 0 Windows: 0Dec 12 Linux: 0 Mac: 0 Windows: 0Dec 11 Linux: 0 Mac: 0 Windows: 0Dec 10 Linux: 0 Mac: 0 Windows: 0Dec 9 Linux: 0 Mac: 0 Windows: 0Dec 8 Linux: 0 Mac: 0 Windows: 0Dec 7 Linux: 0 Mac: 0 Windows: 0Dec 6 Linux: 0 Mac: 0 Windows: 0Dec 5 Linux: 0 Mac: 0 Windows: 0Dec 4 Linux: 0 Mac: 0 Windows: 0Dec 3 Linux: 0 Mac: 0 Windows: 0Dec 2 Linux: 0 Mac: 0 Windows: 0Dec 1 Linux: 0 Mac: 0 Windows: 0Nov 30 Linux: 0 Mac: 0 Windows: 0Nov 29 Linux: 0 Mac: 0 Windows: 0Nov 28 Linux: 0 Mac: 0 Windows: 1Nov 27 Linux: 0 Mac: 0 Windows: 0Nov 26 Linux: 0 Mac: 0 Windows: 0Nov 25 Linux: 0 Mac: 0 Windows: 0Nov 24 Linux: 0 Mac: 0 Windows: 0Nov 23 Linux: 2 Mac: 0 Windows: 0Jan 7 Linux: 0 Mac: 0 Windows: 0Jan 6 Linux: 0 Mac: 0 Windows: 0Jan 5 Linux: 0 Mac: 0 Windows: 0Jan 4 Linux: 0 Mac: 0 Windows: 0Jan 3 Linux: 0 Mac: 0 Windows: 0Jan 2 Linux: 0 Mac: 0 Windows: 0Jan 1 Linux: 0 Mac: 0 Windows: 0Dec 31 Linux: 0 Mac: 0 Windows: 0Dec 30 Linux: 0 Mac: 0 Windows: 0Dec 29 Linux: 0 Mac: 0 Windows: 0Dec 28 Linux: 0 Mac: 0 Windows: 0Dec 27 Linux: 0 Mac: 0 Windows: 0Dec 26 Linux: 0 Mac: 0 Windows: 0Dec 25 Linux: 0 Mac: 0 Windows: 0Dec 24 Linux: 0 Mac: 1 Windows: 0Dec 23 Linux: 0 Mac: 0 Windows: 0Dec 22 Linux: 0 Mac: 0 Windows: 0Dec 21 Linux: 0 Mac: 0 Windows: 0Dec 20 Linux: 0 Mac: 0 Windows: 0Dec 19 Linux: 0 Mac: 0 Windows: 0Dec 18 Linux: 0 Mac: 0 Windows: 0Dec 17 Linux: 0 Mac: 0 Windows: 0Dec 16 Linux: 0 Mac: 0 Windows: 0Dec 15 Linux: 0 Mac: 0 Windows: 0Dec 14 Linux: 1 Mac: 0 Windows: 0Dec 13 Linux: 0 Mac: 0 Windows: 0Dec 12 Linux: 0 Mac: 0 Windows: 0Dec 11 Linux: 0 Mac: 0 Windows: 0Dec 10 Linux: 0 Mac: 0 Windows: 0Dec 9 Linux: 0 Mac: 0 Windows: 0Dec 8 Linux: 0 Mac: 0 Windows: 0Dec 7 Linux: 0 Mac: 0 Windows: 0Dec 6 Linux: 0 Mac: 0 Windows: 0Dec 5 Linux: 0 Mac: 0 Windows: 0Dec 4 Linux: 0 Mac: 0 Windows: 0Dec 3 Linux: 0 Mac: 0 Windows: 0Dec 2 Linux: 0 Mac: 0 Windows: 0Dec 1 Linux: 0 Mac: 0 Windows: 0Nov 30 Linux: 0 Mac: 0 Windows: 0Nov 29 Linux: 0 Mac: 0 Windows: 0Nov 28 Linux: 0 Mac: 0 Windows: 1Nov 27 Linux: 0 Mac: 0 Windows: 0Nov 26 Linux: 0 Mac: 0 Windows: 0Nov 25 Linux: 0 Mac: 0 Windows: 0Nov 24 Linux: 0 Mac: 0 Windows: 0Nov 23 Linux: 2 Mac: 0 Windows: 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