Removing Idris grammar

This commit is contained in:
Arfon Smith
2016-03-18 16:05:23 -06:00
parent ca6ac8f0db
commit eec324890e
5 changed files with 1 additions and 685 deletions

View File

@@ -1532,6 +1532,7 @@ Idris:
- .idr
- .lidr
ace_mode: text
tm_scope: none
Inform 7:
type: programming