- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.mps files (375): samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo@tests.mps samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.incremental@tests.mps samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps samples/lambdacalc/languages/samples.lambdacalc/models/typesystem.mps samples/lambdacalc/languages/samples.lambdacalc/models/structure.mps samples/lambdacalc/languages/samples.lambdacalc/models/behavior.mps samples/lambdacalc/languages/samples.lambdacalc/models/types.mps samples/lambdacalc/languages/samples.lambdacalc/models/editor.mps samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic@tests.mps samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic.mps samples/fitch/solutions/samples.fitch.demo/models/propositionalLogic@tests.mps samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic.mps samples/fitch/solutions/samples.fitch.demo/models/firstOrderLogic@tests.mps samples/fitch/solutions/samples.fitch.demo/models/herbrandLogic.mps samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps samples/fitch/languages/samples.fitch.herbrandLogic/models/constraints.mps samples/fitch/languages/samples.fitch.herbrandLogic/models/typesystem.mps samples/fitch/languages/samples.fitch.herbrandLogic/models/structure.mps samples/fitch/languages/samples.fitch.herbrandLogic/models/behavior.mps samples/fitch/languages/samples.fitch.herbrandLogic/models/types.mps samples/fitch/languages/samples.fitch.herbrandLogic/models/editor.mps samples/fitch/languages/samples.fitch.herbrandLogic/generator/template/main@generator.mps samples/fitch/languages/samples.fitch.firstOrderLogic/models/constraints.mps samples/fitch/languages/samples.fitch.firstOrderLogic/models/typesystem.mps samples/fitch/languages/samples.fitch.firstOrderLogic/models/structure.mps samples/fitch/languages/samples.fitch.firstOrderLogic/models/behavior.mps samples/fitch/languages/samples.fitch.firstOrderLogic/models/types.mps samples/fitch/languages/samples.fitch.firstOrderLogic/models/editor.mps samples/fitch/languages/samples.fitch.firstOrderLogic/generator/template/main@generator.mps samples/fitch/languages/samples.fitch/models/constraints.mps samples/fitch/languages/samples.fitch/models/typesystem.mps samples/fitch/languages/samples.fitch/models/structure.mps samples/fitch/languages/samples.fitch/models/behavior.mps samples/fitch/languages/samples.fitch/models/types.mps samples/fitch/languages/samples.fitch/models/migration.mps samples/fitch/languages/samples.fitch/models/editor.mps samples/fitch/languages/samples.fitch/generator/template/main@generator.mps samples/fitch/languages/samples.fitch.propositionalLogic/models/constraints.mps samples/fitch/languages/samples.fitch.propositionalLogic/models/typesystem.mps samples/fitch/languages/samples.fitch.propositionalLogic/models/structure.mps samples/fitch/languages/samples.fitch.propositionalLogic/models/behavior.mps samples/fitch/languages/samples.fitch.propositionalLogic/models/types.mps samples/fitch/languages/samples.fitch.propositionalLogic/models/editor.mps samples/fitch/languages/samples.fitch.propositionalLogic/generator/template/main@generator.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.collections.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.sequence@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.incremental@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/models/jetbrains.mps.baseLanguage.collectionsExt.test.containers@tests.mps samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.closures@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/models/jetbrains.mps.baseLanguage.closuresExt.test.collections@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.code.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.code@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.features@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/models/jetbrains.mps.baseLanguage.methodReferencesExt.test.features.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.generics@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.thinlet.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.staging.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.dummy.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.types@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.thinlet@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.incremental@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.features@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.generics.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.staging@tests.mps samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds@tests.mps samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.mps samples/mpscore/solutions/typechecking.samples.baseLanguage/models/helloWorld@tests.mps samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.hugeSample.mps samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.helloWorld.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples.mps samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/models/jetbrains.mps.baseLanguage.tuplesExt.test.tuples@tests.mps samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code.mps samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.types@tests.mps samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.test.code@tests.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/models/jetbrains.mps.lang.smodel.queryExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/generator/templates/jetbrains.mps.lang.smodel.queryExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.structure.mps samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.behavior.mps samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.constraints.mps samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.editor.mps samples/mpscore/languages/jetbrains.mps.logicExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/models/jetbrains.mps.baseLanguage.function.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.function/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/models/jetbrains.mps.lang.behaviorExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/generator/templates/jetbrains.mps.lang.behaviorExt.templates@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/models/jetbrains.mps.baseLanguage.sequence.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.scripts.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/models/jetbrains.mps.baseLanguage.methodReferencesExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/generator/templates/jetbrains.mps.baseLanguage.methodReferencesExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/models/jetbrains.mps.baseLanguage.classifiersExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/generator/templates/jetbrains.mps.baseLanguage.classifiersExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/models/jetbrains.mps.baseLanguage.blTypesExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/models/jetbrains.mps.baseLanguage.blTypesExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/models/jetbrains.mps.baseLanguage.blTypesExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/models/jetbrains.mps.baseLanguage.blTypesExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/models/jetbrains.mps.baseLanguage.blTypesExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/models/jetbrains.mps.baseLanguage.blTypesExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/models/jetbrains.mps.baseLanguage.javadocExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/models/jetbrains.mps.baseLanguage.closuresExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/models/jetbrains.mps.lang.sharedConceptsExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/models/jetbrains.mps.lang.sharedConceptsExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/models/jetbrains.mps.lang.sharedConceptsExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/models/jetbrains.mps.lang.sharedConceptsExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/models/jetbrains.mps.lang.sharedConceptsExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/models/jetbrains.mps.lang.sharedConceptsExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/generator/templates/jetbrains.mps.lang.sharedConceptsExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/models/jetbrains.mps.baseLanguageInternalExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/models/jetbrains.mps.lang.extensionExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.extensionExt/generator/templates/jetbrains.mps.lang.extensionExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/models/jetbrains.mps.lang.scopesExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.scopesExt/generator/templates/jetbrains.mps.lang.scopesExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/models/jetbrains.mps.baseLanguage.varVariableExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/models/jetbrains.mps.baseLanguage.varVariableExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/models/jetbrains.mps.baseLanguage.varVariableExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/models/jetbrains.mps.baseLanguage.varVariableExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/models/jetbrains.mps.baseLanguage.varVariableExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/models/jetbrains.mps.baseLanguage.varVariableExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/generator/templates/jetbrains.mps.baseLanguage.varVariableExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/models/jetbrains.mps.lang.patternExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.patternExt/generator/templates/jetbrains.mps.lang.patternExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/models/jetbrains.mps.lang.typesystemExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/models/jetbrains.mps.lang.typecheckingExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/generator/templates/jetbrains.mps.lang.typecheckingExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/models/jetbrains.mps.lang.scriptExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.scriptExt/generator/templates/jetbrains.mps.lang.scriptExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/models/jetbrains.mps.lang.generator.generationContextExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/models/jetbrains.mps.baseLanguage.collectionsExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/models/jetbrains.mps.lang.constraintsExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/models/jetbrains.mps.baseLanguage.tuplesExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/models/jetbrains.mps.lang.quotationExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.quotationExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/models/jetbrains.mps.lang.generatorExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.generatorExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.structure.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.editor.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.behavior.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.types.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/models/jetbrains.mps.baseLanguage.kotlinRefsExt.constraints.mps samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/generator/templates/jetbrains.mps.baseLanguage.kotlinRefsExt.generator.templates@generator.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/models/jetbrains.mps.lang.smodelExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.smodelExt/generator/templates/main@generator.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.editor.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.behavior.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.typesystem.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.types.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.constraints.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/models/jetbrains.mps.lang.testExt.structure.mps samples/mpscore/languages/jetbrains.mps.lang.testExt/generator/templates/jetbrains.mps.lang.testExt.generator.templates@generator.mps coderules/solutions/jetbrains.mps.coderules.ideaplugin/models/jetbrains.mps.coderules.ideaplugin.mps coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.plugin.mps coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.mps coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking@tests.mps coderules/solutions/jetbrains.mps.coderules.typechecking.test/models/jetbrains.mps.coderules.typechecking.test.dummy.mps coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.aspect@tests.mps coderules/solutions/jetbrains.mps.coderules.test/models/jetbrains.mps.coderules.plugin@tests.mps coderules/solutions/jetbrains.mps.coderules.test/models/modelcheck@tests.mps coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/models/jetbrains.mps.coderules.typechecking.testlang.sandbox.test.mps coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification@tests.mps coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/logical@tests.mps coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps coderules/solutions/jetbrains.mps.coderules.build/models/jetbrains.mps.coderules.build.mps coderules/solutions/jetbrains.mps.coderules.testhelper/models/jetbrains.mps.coderules.testhelper.testutil.mps coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.descriptor.aspects.types@genplan.mps coderules/solutions/jetbrains.mps.lang.typechecking.runtime/models/jetbrains.mps.lang.typechecking.aspect.mps coderules/solutions/jetbrains.mps.coderules/models/plugin.mps coderules/solutions/jetbrains.mps.coderules/models/jetbrains.mps.coderules.mps coderules/solutions/jetbrains.mps.coderules/models/service.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/constraints.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/typesystem.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/jetbrains.mps.typechecking.annotation.types.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/structure.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/behavior.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/intentions.mps coderules/languages/jetbrains.mps.typechecking.annotation/languageModels/editor.mps coderules/languages/jetbrains.mps.typechecking.testlangCycle1/generator/templates/main@generator.mps coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.typesystem.mps coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.behavior.mps coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.constraints.mps coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.structure.mps coderules/languages/jetbrains.mps.lang.types/models/jetbrains.mps.lang.types.editor.mps coderules/languages/jetbrains.mps.lang.types/generator/templates/jetbrains.mps.lang.types.generator.templates@generator.mps coderules/languages/jetbrains.mps.typechecking.testlang/models/constraints.mps coderules/languages/jetbrains.mps.typechecking.testlang/models/typesystem.mps coderules/languages/jetbrains.mps.typechecking.testlang/models/structure.mps coderules/languages/jetbrains.mps.typechecking.testlang/models/behavior.mps coderules/languages/jetbrains.mps.typechecking.testlang/models/types.mps coderules/languages/jetbrains.mps.typechecking.testlang/models/editor.mps coderules/languages/jetbrains.mps.typechecking.testlang/generator/template/main@generator.mps coderules/languages/jetbrains.mps.lang.smodel.types/generator/template/main@generator.mps coderules/languages/jetbrains.mps.lang.typechecking/models/plugin.mps coderules/languages/jetbrains.mps.lang.typechecking/models/constraints.mps coderules/languages/jetbrains.mps.lang.typechecking/models/typesystem.mps coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.actions.mps coderules/languages/jetbrains.mps.lang.typechecking/models/structure.mps coderules/languages/jetbrains.mps.lang.typechecking/models/behavior.mps coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.migration.mps coderules/languages/jetbrains.mps.lang.typechecking/models/jetbrains.mps.lang.typechecking.intentions.mps coderules/languages/jetbrains.mps.lang.typechecking/models/editor.mps coderules/languages/jetbrains.mps.lang.typechecking/generator/template/main@generator.mps coderules/languages/jetbrains.mps.lang.typechecking/generator/template/jetbrains.mps.lang.typechecking.generator.genutil.mps coderules/languages/jetbrains.mps.typechecking.testlangCycle2/generator/templates/main@generator.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/plugin.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/constraints.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/typesystem.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/findUsages.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/util.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/structure.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/behavior.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/intentions.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/migration.mps coderules/languages/jetbrains.mps.lang.coderules/languageModels/editor.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.result.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.aspect.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.eval.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.memoizer.mps coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.terms.mps coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps coderules/languages/jetbrains.mps.logic/languageModels/constraints.mps coderules/languages/jetbrains.mps.logic/languageModels/typesystem.mps coderules/languages/jetbrains.mps.logic/languageModels/structure.mps coderules/languages/jetbrains.mps.logic/languageModels/behavior.mps coderules/languages/jetbrains.mps.logic/languageModels/intentions.mps coderules/languages/jetbrains.mps.logic/languageModels/migration.mps coderules/languages/jetbrains.mps.logic/languageModels/editor.mps coderules/languages/jetbrains.mps.logic/languageModels/actions.mps coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.dataform.mps coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps coderules/languages/jetbrains.mps.logic/generator/template/main@generator.mps - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.png files (192): samples/fitch/img/ui_rule.png samples/fitch/img/sample-proof-firstorder.png samples/fitch/img/forall_intro.png samples/fitch/img/and_elim.png samples/fitch/img/and_intro.png samples/fitch/img/or_rules.png samples/fitch/img/if_intro.png samples/fitch/img/sample-rule.png samples/fitch/img/not_intro.png samples/fitch/img/sample-proof-herbrand.png samples/fitch/img/judgement_conclusion.png samples/fitch/img/forall_elim.png samples/fitch/img/or_intro.png samples/fitch/img/equality_rules.png samples/fitch/img/sample-proof.png samples/fitch/img/exists_elim.png samples/fitch/img/if_rules.png samples/fitch/img/auto_valid.png samples/fitch/img/iff_rules.png samples/fitch/img/goal.png samples/fitch/img/or_elim.png samples/fitch/img/ue_rule.png samples/fitch/img/exists_rules.png samples/fitch/img/exists_intro.png samples/fitch/img/eq_elim.png samples/fitch/img/not_elim.png samples/fitch/img/iff_elim.png samples/fitch/img/eq_intro.png samples/fitch/img/if_elim.png samples/fitch/img/menu.png samples/fitch/img/and_rules.png samples/fitch/img/iff_intro.png samples/fitch/img/goal_valid.png samples/fitch/img/neg_rules.png coderules/doc/img/activation-trace-example.png coderules/doc/img/menu-example.png coderules/doc/img/type-annotation-example.png coderules/doc/img/typing-rule-example.png coderules/languages/jetbrains.mps.lang.typechecking/icons/typesModel.png coderules/languages/jetbrains.mps.lang.typechecking/icons/tctermTable@2x.png coderules/languages/jetbrains.mps.lang.typechecking/icons/tcqueryTable@2x.png coderules/languages/jetbrains.mps.lang.typechecking/icons/tcqueryTable.png coderules/languages/jetbrains.mps.lang.typechecking/icons/tctermTable.png coderules/languages/jetbrains.mps.lang.typechecking/icons/typesModel@2x.png coderules/languages/jetbrains.mps.lang.coderules/icons/ruleTable.png coderules/languages/jetbrains.mps.lang.coderules/icons/macroTable.png coderules/languages/jetbrains.mps.lang.coderules/icons/ruleTable@2x.png coderules/languages/jetbrains.mps.lang.coderules/icons/termTable@2x.png coderules/languages/jetbrains.mps.lang.coderules/icons/termTable.png coderules/languages/jetbrains.mps.lang.coderules/icons/queryTable.png coderules/languages/jetbrains.mps.lang.coderules/icons/queryTable@2x.png coderules/languages/jetbrains.mps.lang.coderules/icons/macroTable@2x.png docs/content/img/ex-stlc-recovervar-450.png docs/content/img/ex-logic-contrapositive-450.png docs/content/img/lang-require-750.png docs/content/img/eval-alt-350.png docs/content/img/lang-ruletable-500.png docs/content/img/terms-ext-400.png docs/content/img/ex-typecheck-convertscls-500.png docs/content/img/overview-check2-300.png docs/content/img/lang-constraints-350.png docs/content/img/ex-stlc/instanceCheck(1-2).png docs/content/img/ex-stlc/typeOf_Prototype.png docs/content/img/ex-stlc/recover_var.png docs/content/img/ex-stlc/macro_Var.png docs/content/img/ex-stlc/genHelper.png docs/content/img/ex-stlc/subsumption_Pair.png docs/content/img/ex-stlc/typeConstraints_discharge.png docs/content/img/ex-stlc/recover_forall.png docs/content/img/ex-stlc/subsumption_leaves_rigid.png docs/content/img/ex-stlc/typeConstraints_mergeSets.png docs/content/img/ex-stlc/typeConstraints_mergeSets(v2).png docs/content/img/ex-stlc/dataform-table.png docs/content/img/ex-stlc/getType_Instance.png docs/content/img/ex-stlc/typeOf_LamVarBind.png docs/content/img/ex-stlc/typeOf_LetVarBind.png docs/content/img/ex-stlc/strengthCheck.png docs/content/img/ex-stlc/genHelper_forall.png docs/content/img/ex-stlc/subsumption_Fun.png docs/content/img/ex-stlc/typeOf_Fix.png docs/content/img/ex-stlc/instanceCheck(3-5).png docs/content/img/ex-stlc/getType.png docs/content/img/ex-stlc/setToCons.png docs/content/img/ex-stlc/checkVarConstraints.png docs/content/img/ex-stlc/append.png docs/content/img/ex-stlc/isSubset.png docs/content/img/ex-stlc/subsumption_Forall.png docs/content/img/ex-stlc/typeOf_App.png docs/content/img/ex-stlc/instanceCheck(4-5).png docs/content/img/ex-stlc/setCopy.png docs/content/img/ex-stlc/instanceCheck(3).png docs/content/img/ex-stlc/typeOf_VarRef.png docs/content/img/ex-stlc/inst.png docs/content/img/ex-stlc/typeOf_LamVarBind_anno.png docs/content/img/ex-stlc/set_removeDupl.png docs/content/img/ex-stlc/typeOf_IfThenElse.png docs/content/img/ex-stlc/typeOf_AnnExpr.png docs/content/img/ex-stlc/typeOf_PrototypeImpl.png docs/content/img/ex-stlc/checkTypeVars.png docs/content/img/ex-stlc/instanceCheck.png docs/content/img/ex-stlc/checkTypeVars_rigid.png docs/content/img/ex-stlc/recoverAll.png docs/content/img/ex-stlc/setToConsCopy.png docs/content/img/ex-stlc/dataform-table-wider.png docs/content/img/ex-stlc/inst_dummy.png docs/content/img/ex-stlc/varTypeDuplicate.png docs/content/img/ex-stlc/getType_Typeclass.png docs/content/img/ex-stlc/genHelper_noForall.png docs/content/img/ex-stlc/produceTypeConstraints.png docs/content/img/ex-stlc/recoverTypeVars.png docs/content/img/ex-stlc/instTypeVars.png docs/content/img/ex-stlc/renameTypeVars_tryBind.png docs/content/img/ex-stlc/subsumption_leaves.png docs/content/img/ex-stlc/renameTypeVars_check.png docs/content/img/ex-stlc/typeOf_LetVarBind_anno.png docs/content/img/ex-stlc/genTypeVars.png docs/content/img/ex-stlc/macro_Fun.png docs/content/img/ex-stlc/gen.png docs/content/img/constraintrules-eval-400.png docs/content/img/ex-stlc-dataformtable-300.png docs/content/img/ex-cflow-visitall-700.png docs/content/img/language-hasbound-550.png docs/content/img/language-convertsto-500.png docs/content/img/language-unify-300.png docs/content/img/ex-stlc-fix-650.png docs/content/img/language-recoverct-700.png docs/content/img/language-query-350.png docs/content/img/terms-int-300.png docs/content/img/ex-stlc-ifthenelse-650.png docs/content/img/ex-stlc-gen-300.png docs/content/img/ex-typecheck-assignment-700.png docs/content/img/ex-stlc-recovervarassign-500.png docs/content/img/overview-convertsto-500.png docs/content/img/queries-table-600.png docs/content/img/ex-stlc-lambdavar-600.png docs/content/img/language-longtype-350.png docs/content/img/eval-atrace-snapshot.png docs/content/img/language-aspect-400.png docs/content/img/overview-converts-500.png docs/content/img/macro-expand-550.png docs/content/img/overview-checkq-400.png docs/content/img/ex-stlc-lambdaabs-500.png docs/content/img/terms-open-300.png docs/content/img/intro-assign-700.png docs/content/img/ex-typecheck-convertsto-450.png docs/content/img/ex-cflow-query-350.png docs/content/img/ex-typecheck-terms-300.png docs/content/img/language-compatibleWith-300.png docs/content/img/constraintrules-sample-650.png docs/content/img/ex-typecheck-typecheck-300.png docs/content/img/intro-convertslbt-550.png docs/content/img/ex-typecheck-vardecl-750.png docs/content/img/ex-cflow-binop-650.png docs/content/img/ex-cflow-aspect-450.png docs/content/img/language-recover-500.png docs/content/img/language-vardecl-600.png docs/content/img/overview-assignment-700.png docs/content/img/queries-interface-500.png docs/content/img/intro-assignment-550.png docs/content/img/constraintrules-guard-500.png docs/content/img/language-handlerhead-300.png docs/content/img/language-classifiertype-300.png docs/content/img/overview-typeofq-550.png docs/content/img/ex-typecheck-dotexpression-600.png docs/content/img/ex-typecheck-terms2-400.png docs/content/img/ex-typecheck-chartoint-400.png docs/content/img/language-writelocal-750.png docs/content/img/ex-typecheck-compatiblewith-400.png docs/content/img/ex-cflow-localvar-700.png docs/content/img/eval-proof-350.png docs/content/img/language-typeof-550.png docs/content/img/lang-forcycle-650.png docs/content/img/ex-logic-andintro-650.png docs/content/img/ex-stlc-app-700.png docs/content/img/ex-stlc-instforall-350.png docs/content/img/constraintrules-tpl-600.png docs/content/img/macro-call-550.png docs/content/img/intro-methodcall-550.png docs/content/img/eval-altbody-650.png docs/content/img/ex-typecheck-intliteral-700.png docs/content/img/overview-check-300.png docs/content/img/macro-table-extends-550.png docs/content/img/macro-recursive-600.png docs/content/img/lang-template-800.png docs/content/img/language-macro-500.png docs/content/img/lang-standalone-350.png docs/content/img/eval-settype-650.png docs/content/img/constraintrules-bind-700.png docs/content/img/constraintrules-alt-500.png docs/content/img/process-containedin-350.png docs/content/img/eval-menu-snapshot.png docs/content/img/ex-cflow-reach-650.png - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.mpl files (41): samples/lambdacalc/languages/samples.lambdacalc/samples.lambdacalc.mpl samples/fitch/languages/samples.fitch.herbrandLogic/samples.fitch.herbrandLogic.mpl samples/fitch/languages/samples.fitch.firstOrderLogic/samples.fitch.firstOrderLogic.mpl samples/fitch/languages/samples.fitch/samples.fitch.mpl samples/fitch/languages/samples.fitch.propositionalLogic/samples.fitch.propositionalLogic.mpl samples/mpscore/languages/jetbrains.mps.lang.smodel.queryExt/jetbrains.mps.lang.smodel.queryExt.mpl samples/mpscore/languages/jetbrains.mps.logicExt/jetbrains.mps.logicExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.function/jetbrains.mps.baseLanguage.function.mpl samples/mpscore/languages/jetbrains.mps.lang.behaviorExt/jetbrains.mps.lang.behaviorExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.sequence/jetbrains.mps.baseLanguage.sequence.mpl samples/mpscore/languages/jetbrains.mps.baseLanguageExt/jetbrains.mps.baseLanguageExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.methodReferencesExt/jetbrains.mps.baseLanguage.methodReferencesExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.classifiersExt/jetbrains.mps.baseLanguage.classifiersExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.blTypesExt/jetbrains.mps.baseLanguage.blTypesExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.javadocExt/jetbrains.mps.baseLanguage.javadocExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.closuresExt/jetbrains.mps.baseLanguage.closuresExt.mpl samples/mpscore/languages/jetbrains.mps.lang.sharedConceptsExt/jetbrains.mps.lang.sharedConceptsExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguageInternalExt/jetbrains.mps.baseLanguageInternalExt.mpl samples/mpscore/languages/jetbrains.mps.lang.extensionExt/jetbrains.mps.lang.extensionExt.mpl samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/jetbrains.mps.lang.coderulesExt.mpl samples/mpscore/languages/jetbrains.mps.lang.scopesExt/jetbrains.mps.lang.scopesExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.varVariableExt/jetbrains.mps.baseLanguage.varVariableExt.mpl samples/mpscore/languages/jetbrains.mps.lang.patternExt/jetbrains.mps.lang.patternExt.mpl samples/mpscore/languages/jetbrains.mps.lang.typesystemExt/jetbrains.mps.lang.typesystemExt.mpl samples/mpscore/languages/jetbrains.mps.lang.typecheckingExt/jetbrains.mps.lang.typecheckingExt.mpl samples/mpscore/languages/jetbrains.mps.lang.scriptExt/jetbrains.mps.lang.scriptExt.mpl samples/mpscore/languages/jetbrains.mps.lang.generator.generationContextExt/jetbrains.mps.lang.generator.generationContextExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.collectionsExt/jetbrains.mps.baseLanguage.collectionsExt.mpl samples/mpscore/languages/jetbrains.mps.lang.constraintsExt/jetbrains.mps.lang.constraintsExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.tuplesExt/jetbrains.mps.baseLanguage.tuplesExt.mpl samples/mpscore/languages/jetbrains.mps.lang.quotationExt/jetbrains.mps.lang.quotationExt.mpl samples/mpscore/languages/jetbrains.mps.lang.generatorExt/jetbrains.mps.lang.generatorExt.mpl samples/mpscore/languages/jetbrains.mps.baseLanguage.kotlinRefsExt/jetbrains.mps.baseLanguage.kotlinRefsExt.mpl samples/mpscore/languages/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.mpl samples/mpscore/languages/jetbrains.mps.lang.testExt/jetbrains.mps.lang.testExt.mpl coderules/languages/jetbrains.mps.typechecking.annotation/jetbrains.mps.typechecking.annotation.mpl coderules/languages/jetbrains.mps.lang.types/jetbrains.mps.lang.types.mpl coderules/languages/jetbrains.mps.typechecking.testlang/jetbrains.mps.typechecking.testlang.mpl coderules/languages/jetbrains.mps.lang.typechecking/jetbrains.mps.lang.typechecking.mpl coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.coderules.mpl coderules/languages/jetbrains.mps.logic/jetbrains.mps.logic.mpl - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.msd files (27): samples/lambdacalc/solutions/samples.lambdacalc.build/samples.lambdacalc.build.msd samples/lambdacalc/solutions/samples.lambdacalc.demo/samples.lambdacalc.demo.msd samples/fitch/solutions/samples.fitch.demo/samples.fitch.demo.msd samples/fitch/solutions/samples.fitch.build/samples.fitch.build.msd samples/mpscore/solutions/jetbrains.mps.baseLanguage.collectionsExt.test/jetbrains.mps.baseLanguage.collectionsExt.test.msd samples/mpscore/solutions/samples.mpscore.build/samples.mpscore.build.msd samples/mpscore/solutions/jetbrains.mps.baseLanguage.closuresExt.test/jetbrains.mps.baseLanguage.closuresExt.test.msd samples/mpscore/solutions/jetbrains.mps.baseLanguage.methodReferencesExt.test/jetbrains.mps.baseLanguage.methodReferencesExt.test.msd samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/jetbrains.mps.baseLanguageExt.test.msd samples/mpscore/solutions/typechecking.samples.baseLanguage/typechecking.samples.baseLanguage.msd samples/mpscore/solutions/jetbrains.mps.baseLanguage.tuplesExt.test/jetbrains.mps.baseLanguage.tuplesExt.test.msd samples/mpscore/solutions/jetbrains.mps.lang.smodelExt/jetbrains.mps.lang.smodelExt.test.msd coderules/solutions/jetbrains.mps.coderules.ideaplugin/jetbrains.mps.coderules.ideaplugin.msd coderules/solutions/jetbrains.mps.logic.reactor/jetbrains.mps.logic.reactor.msd coderules/solutions/jetbrains.mps.coderules.runtime/jetbrains.mps.coderules.runtime.msd coderules/solutions/jetbrains.mps.coderules.ui/jetbrains.mps.coderules.ui.msd coderules/solutions/jetbrains.mps.coderules.typechecking/jetbrains.mps.coderules.typechecking.msd coderules/solutions/jetbrains.mps.coderules.typechecking.test/jetbrains.mps.coderules.typechecking.test.msd coderules/solutions/jetbrains.mps.coderules.test/jetbrains.mps.coderules.test.msd coderules/solutions/jetbrains.mps.coderules.typechecking.testlang.sandbox/jetbrains.mps.coderules.typechecking.testlang.sandbox.msd coderules/solutions/jetbrains.mps.logic.test/jetbrains.mps.logic.test.msd coderules/solutions/jetbrains.mps.coderules.build/jetbrains.mps.coderules.build.msd coderules/solutions/jetbrains.mps.coderules.testhelper/jetbrains.mps.coderules.testhelper.msd coderules/solutions/jetbrains.mps.lang.typechecking.runtime/jetbrains.mps.lang.typechecking.runtime.msd coderules/solutions/jetbrains.mps.coderules/jetbrains.mps.coderules.msd coderules/languages/jetbrains.mps.lang.coderules/runtime/jetbrains.mps.lang.coderules.runtime.msd coderules/languages/jetbrains.mps.logic/runtime/jetbrains.mps.logic.runtime.msd - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.iml files (9): samples/mpscore/solutions/typechecking.samples.baseLanguage/typesystem2.sandbox.sample.iml reactor/Core/Core.iml reactor/Core/conreactor-core.iml reactor/Reactor.iml reactor/Test/tests.iml reactor/Test/Test.iml coderules/solutions/jetbrains.mps.logic.reactor/Logic.reactor.iml coderules/solutions/jetbrains.mps.logic.test/Logic.test.iml coderules/languages/jetbrains.mps.logic/Logic.iml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.name files (5): samples/lambdacalc/.mps/.name samples/fitch/.mps/.name .idea/.name reactor/.idea/.name .mps/.name - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (4): LICENSE justfile gradlew docs/Gemfile - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.yaml files (3): reactor/.travis.yml docs/_config.yml docs/_data/nav.yml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jpg files (1): docs/_assets/splash.jpg - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.devkit files (1): coderules/devkits/jetbrains.mps.devkit.aspect.types/jetbrains.mps.devkit.aspect.types.devkit - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.keep files (1): coderules/languages/jetbrains.mps.logic/sandbox/classes_jchr/.keep - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.migration files (1): coderules/languages/jetbrains.mps.lang.coderules/jetbrains.mps.lang.typesystem2.migration - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jar files (1): gradle/wrapper/gradle-wrapper.jar - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -