diff --git a/.gitignore b/.gitignore index d5b7fc9d..d8d46817 100644 --- a/.gitignore +++ b/.gitignore @@ -4,10 +4,12 @@ **/test_gen.caches/* **/classes_gen/* **/classes_jchr/* +**/.mps/dictionaries/* **/.mps/workspace.xml **/.mps/shelf/* **/.idea/workspace.xml **/lib/* +**/.DS_Store .gradle out build/* diff --git a/.mps/dictionaries/grigorii_kirgizov.xml b/.mps/dictionaries/grigorii_kirgizov.xml index 7a1c9df1..163b3ee9 100644 --- a/.mps/dictionaries/grigorii_kirgizov.xml +++ b/.mps/dictionaries/grigorii_kirgizov.xml @@ -2,9 +2,11 @@ arg + coderules incrementality logicals symmetricity + typechecking unifications