Path	Lines of Code
CODE_OF_CONDUCT.md	2
INSTALL.txt	24
README.md	54
coderules/README.md	18
coderules/languages/jetbrains.mps.lang.coderules/icons/macroTable.svg	6
coderules/languages/jetbrains.mps.lang.coderules/icons/macroTable_dark.svg	6
coderules/languages/jetbrains.mps.lang.coderules/icons/ruleTable.svg	4
coderules/languages/jetbrains.mps.lang.coderules/icons/ruleTable_dark.svg	4
coderules/languages/jetbrains.mps.lang.coderules/icons/termTable.svg	5
coderules/languages/jetbrains.mps.lang.coderules/icons/termTable_dark.svg	5
coderules/languages/jetbrains.mps.lang.typechecking/icons/termTableContribution.svg	7
coderules/languages/jetbrains.mps.lang.typechecking/icons/termTableContribution_dark.svg	7
coderules/languages/jetbrains.mps.lang.typechecking/icons/typesModel.svg	5
coderules/languages/jetbrains.mps.lang.typechecking/icons/typesModel_dark.svg	5
coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules.svg	5
coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff.svg	5
coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff_newui.svg	5
coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRulesOff_newui_dark.svg	5
coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules_newui.svg	5
coderules/solutions/jetbrains.mps.coderules.ideaplugin/icons/codeRules_newui_dark.svg	5
coderules/solutions/jetbrains.mps.coderules.typechecking/gradle.properties	3
coderules/solutions/jetbrains.mps.coderules/gradle.properties	1
coderules/solutions/jetbrains.mps.logic.reactor/gradle.properties	3
gradle.properties	7
reactor/README.md	19
samples/fitch/README.md	151
samples/fitch/build.gradle	43
samples/lambdacalc/README.md	19
samples/lambdacalc/build.gradle	43
samples/mpscore/README.md	20
samples/mpscore/build.gradle	57