01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16

# Idris Syntax Support for Sublime Text 3

## Installation

```bash
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

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