Adding back Idris grammar

Browse Source

...

This commit is contained in:

Arfon Smith

2016-04-03 07:41:10 -06:00

parent 99ad2368b0

commit 57237106f3

5 changed files with 33 additions and 1 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

1

vendor/grammars/idris vendored Submodule

Submodule vendor/grammars/idris added at 1089032af6