path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
settings.gradle.kts	8	7	2694	2092	10	4	2018-09-04	2020-04-28	chemike47@gmail.com	ice1000kotlin@foxmail.com
parser/build.gradle.kts	9	5	2139	2012	7	2	2020-03-12	2020-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/sort/Level.java	169	11	2139	1597	14	4	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/sort/Sort.java	119	9	2139	1553	11	3	2020-03-12	2021-10-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/DataDefinition.java	202	31	2139	1191	33	4	2020-03-12	2022-10-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/ParametersLevels.java	22	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/definition/ParametersLevel.java	48	4	2139	2069	5	3	2020-03-12	2020-05-21	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/core/definition/ClassDefinition.java	432	42	2139	607	47	3	2020-03-12	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/MetaTopDefinition.java	76	2	1012	1007	2	1	2023-04-13	2023-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/TopLevelDefinition.java	92	5	1243	1012	5	1	2022-08-25	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/UniverseKind.java	7	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/definition/CoerceData.java	305	19	2139	1286	22	2	2020-03-12	2022-07-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/FunctionDefinition.java	196	31	2139	1217	35	4	2020-03-12	2022-09-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/ClassField.java	148	19	2139	1012	23	2	2020-03-12	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/CallableDefinition.java	11	1	1012	1012	1	1	2023-04-13	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/Function.java	5	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/definition/DefinitionVisitor.java	9	2	1550	1012	2	1	2021-10-22	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/Definition.java	252	39	2139	741	44	3	2020-03-12	2024-01-09	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/Constructor.java	220	20	2139	1012	23	3	2020-03-12	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/definition/DConstructor.java	72	19	2139	1097	22	2	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java	107	2	2139	1194	3	2	2020-03-12	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/param/DependentLink.java	173	13	2139	1194	15	3	2020-03-12	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/param/SingleDependentLink.java	9	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/context/param/UntypedSingleDependentLink.java	53	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/context/param/UnusedIntervalDependentLink.java	11	5	2066	1191	5	3	2020-05-24	2022-10-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/param/TypedSingleDependentLink.java	46	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/context/param/TypedDependentLink.java	110	2	2139	1194	3	2	2020-03-12	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/param/EmptyDependentLink.java	71	2	2139	1194	3	2	2020-03-12	2022-10-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/param/PropertyTypedDependentLink.java	31	2	1194	1191	3	1	2022-10-13	2022-10-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/LinkList.java	45	5	2139	1719	6	3	2020-03-12	2021-05-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/TypedBinding.java	26	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/context/binding/LevelVariable.java	91	9	2139	1345	10	4	2020-03-12	2022-05-15	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/EvaluatingBinding.java	7	2	2139	1886	4	2	2020-03-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/NamedBinding.java	11	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/context/binding/inference/FunctionInferenceVariable.java	33	2	2139	1512	3	2	2020-03-12	2021-11-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/InferenceLevelVariable.java	40	5	2139	1597	6	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/UserInferenceVariable.java	27	4	1982	643	4	2	2020-08-16	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/MetaInferenceVariable.java	33	5	2139	1431	6	2	2020-03-12	2022-02-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/DerivedInferenceVariable.java	24	2	2139	1431	3	2	2020-03-12	2022-02-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/InferenceVariable.java	107	9	2139	1431	10	2	2020-03-12	2022-02-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/ExpressionInferenceVariable.java	39	6	2139	643	7	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/LambdaInferenceVariable.java	29	2	2139	1431	3	2	2020-03-12	2022-02-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/inference/TypeClassInferenceVariable.java	51	8	2139	643	9	3	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/Binding.java	31	7	2139	1566	8	3	2020-03-12	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/ParamLevelVariable.java	52	4	1677	1597	4	1	2021-06-17	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/TypedEvaluatingBinding.java	26	2	2139	1886	4	2	2020-03-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/binding/PersistentEvaluatingBinding.java	31	1	1542	1542	1	1	2021-10-30	2021-10-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/context/Utils.java	103	4	2139	643	6	3	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/Levels.java	56	4	1671	1490	4	1	2021-06-23	2021-12-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/ListLevels.java	72	4	1671	1490	4	1	2021-06-23	2021-12-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/SimpleLevelSubstitution.java	31	6	2139	1597	7	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/ExprSubstitution.java	116	8	2139	1597	9	4	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/LevelPair.java	85	10	1728	1482	11	1	2021-04-27	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/InferenceVariableSolveVisitor.java	22	2	1255	1252	2	1	2022-08-13	2022-08-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/UnfoldVisitor.java	94	23	1979	1143	24	2	2020-08-19	2022-12-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/InPlaceLevelSubstVisitor.java	116	19	2139	1482	22	3	2020-03-12	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/subst/SubstVisitor.java	306	41	2139	781	47	4	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/DefCallExpression.java	84	12	2139	781	14	2	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/let/NameLetClausePattern.java	27	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/let/RecordLetClausePattern.java	14	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/let/TupleLetClausePattern.java	24	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/let/HaveClause.java	40	3	1889	1793	3	1	2020-11-17	2021-02-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/let/LetClausePattern.java	9	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/let/TypedLetClause.java	17	3	1793	1573	3	1	2021-02-21	2021-09-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/let/LetClause.java	11	4	2139	1793	6	2	2020-03-12	2021-02-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/let/TypedHaveClause.java	14	3	1793	1573	3	1	2021-02-21	2021-09-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/OfTypeExpression.java	79	5	2139	1510	6	3	2020-03-12	2021-12-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java	140	4	2139	1597	5	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/NewExpression.java	110	16	2139	538	18	3	2020-03-12	2024-07-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/ExpressionFactory.java	90	20	2139	1006	24	4	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/TupleExpression.java	46	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/ErrorExpression.java	148	7	2139	1219	8	3	2020-03-12	2022-09-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/CaseExpression.java	86	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/Expression.java	632	64	2139	641	77	5	2020-03-12	2024-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/VoidExpressionVisitor.java	297	26	2139	607	31	4	2020-03-12	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/RecreateExpressionVisitor.java	273	20	2139	1006	23	3	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/FieldsCollector.java	136	11	2139	700	12	2	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/NormalizingFindBindingVisitor.java	187	17	2139	1006	19	4	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/FindBindingVisitor.java	157	9	2139	1546	11	3	2020-03-12	2021-10-26	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java	321	42	2139	781	46	4	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java	1011	86	2139	562	107	5	2020-03-12	2024-07-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor.java	33	8	2139	1006	10	2	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/SizeExpressionVisitor.java	154	9	1626	1006	10	1	2021-08-07	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/FieldCallSubstVisitor.java	40	1	1306	1306	1	1	2022-06-23	2022-06-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java	458	47	2139	538	54	4	2020-03-12	2024-07-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/FindMissingBindingVisitor.java	165	10	2139	1206	11	3	2020-03-12	2022-10-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java	459	40	2139	698	45	4	2020-03-12	2024-02-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/BaseExpressionVisitor.java	25	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/visitor/FreeVariablesCollector.java	90	6	2139	1886	9	3	2020-03-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/GoodThisParametersVisitor.java	170	7	2139	1537	8	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/ExpressionTransformer.java	179	14	2007	1191	15	2	2020-07-22	2022-10-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java	2131	124	2139	472	141	5	2020-03-12	2024-10-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor2.java	33	8	2139	1006	10	2	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/ConCallExpression.java	93	13	2139	687	15	2	2020-03-12	2024-03-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/ReferenceExpression.java	47	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/StringExpression.java	37	1	1006	1006	1	1	2023-04-19	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/PathExpression.java	58	4	1575	1380	4	1	2021-09-27	2022-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/GoalErrorExpression.java	17	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/ClassCallExpression.java	509	34	2139	641	37	3	2020-03-12	2024-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/FieldCallExpression.java	108	17	2139	1191	19	3	2020-03-12	2022-10-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/DataCallExpression.java	211	25	2139	687	29	3	2020-03-12	2024-03-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/ProjExpression.java	58	2	2139	1142	3	2	2020-03-12	2022-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/AbsExpression.java	32	6	2139	1597	7	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/BoxExpression.java	58	3	1196	781	3	1	2022-10-11	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/SigmaExpression.java	79	6	2139	1330	7	3	2020-03-12	2022-05-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/type/TypeExpression.java	46	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/type/Type.java	21	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/expr/AppExpression.java	84	8	2139	699	11	3	2020-03-12	2024-02-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/LamExpression.java	81	6	2139	1597	9	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/AtExpression.java	97	3	1573	1486	4	1	2021-09-29	2021-12-25	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/ArrayExpression.java	170	17	1746	689	18	1	2021-04-09	2024-03-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/LeveledDefCallExpression.java	32	8	1626	687	9	1	2021-08-07	2024-03-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/TypeDestructorExpression.java	72	1	1537	1537	1	1	2021-11-04	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/UniverseExpression.java	77	3	2139	1597	4	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/PEvalExpression.java	72	5	2139	562	6	2	2020-03-12	2024-07-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/InferenceReferenceExpression.java	126	21	2139	700	24	3	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/BigIntegerExpression.java	94	4	2139	1597	5	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/LetExpression.java	114	8	2139	872	9	2	2020-03-12	2023-08-31	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/IntegerExpression.java	51	3	2139	1597	4	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/PiExpression.java	179	8	2139	1167	11	3	2020-03-12	2022-11-09	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/ErrorWithConcreteExpression.java	8	1	2118	2118	1	1	2020-04-02	2020-04-02	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/core/expr/FunCallExpression.java	131	20	2139	562	25	2	2020-03-12	2024-07-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java	167	2	1537	1490	2	1	2021-11-04	2021-12-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/expr/SubstExpression.java	148	14	2139	635	16	4	2020-03-12	2024-04-24	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/elimtree/LeafElimTree.java	35	2	2139	1792	3	2	2020-03-12	2021-02-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/elimtree/BranchElimTree.java	304	18	2139	700	22	2	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/elimtree/ElimTree.java	16	2	2139	1792	3	2	2020-03-12	2021-02-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/elimtree/ElimBody.java	152	16	2139	1537	20	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/elimtree/ElimClause.java	37	3	2139	1970	4	2	2020-03-12	2020-08-28	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/elimtree/Body.java	9	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/core/elimtree/IntervalElim.java	115	3	2139	1369	4	2	2020-03-12	2022-04-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/elimtree/BranchKey.java	7	3	2139	1597	4	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/constructor/TupleConstructor.java	41	4	2139	1142	5	2	2020-03-12	2022-12-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/constructor/SingleConstructor.java	22	3	2139	1597	4	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/constructor/IdpConstructor.java	32	7	2139	1573	8	3	2020-03-12	2021-09-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/constructor/ClassConstructor.java	69	9	2139	700	11	2	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/constructor/ArrayConstructor.java	52	3	1737	1597	3	1	2021-04-18	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/pattern/Pattern.java	137	12	2139	1537	14	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/pattern/EmptyPattern.java	98	13	2139	1097	15	4	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/pattern/ExpressionPattern.java	91	17	2139	1097	19	4	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/pattern/ConstructorExpressionPattern.java	444	35	2139	689	41	3	2020-03-12	2024-03-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/pattern/ConstructorPattern.java	139	14	2139	1597	15	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/core/pattern/BindingPattern.java	114	12	2139	1097	15	4	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/QuitReplException.java	5	2	2080	2059	3	1	2020-05-10	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/Repl.java	280	54	2092	900	89	4	2020-04-28	2023-08-03	ice1000kotlin@foxmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/repl/CodeParsingHandler.java	29	3	2092	1819	4	2	2020-04-28	2021-01-26	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/CommandHandler.java	108	10	2092	901	21	3	2020-04-28	2023-08-02	ice1000kotlin@foxmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/repl/ReplScope.java	73	6	2050	900	7	3	2020-06-09	2023-08-03	ice1000kotlin@foxmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/repl/action/ResetContextCommand.java	19	1	901	901	1	1	2023-08-02	2023-08-02	sinchukss@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/repl/action/PrintCommand.java	36	1	1541	1541	2	1	2021-10-31	2021-10-31	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/action/PrettyPrintFlagCommand.java	60	2	1932	1541	3	2	2020-10-05	2021-10-31	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/action/ShowTypeCommand.java	26	4	2092	1819	5	2	2020-04-28	2021-01-26	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/action/AliasableCommand.java	8	2	2066	2059	3	1	2020-05-24	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/action/NormalizeCommand.java	54	12	2092	1541	16	2	2020-04-28	2021-10-31	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/action/SizeCommand.java	34	1	1541	1541	1	1	2021-10-31	2021-10-31	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/repl/action/ShowContextCommand.java	36	1	901	901	1	1	2023-08-02	2023-08-02	sinchukss@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/repl/action/ReplCommand.java	13	6	2092	2059	9	1	2020-04-28	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/action/ExpressionArgumentCommand.java	3	2	2079	2059	2	1	2020-05-11	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/action/FileArgumentCommand.java	3	2	2079	2059	2	1	2020-05-11	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/action/QuitCommand.java	19	3	2080	2059	3	1	2020-05-10	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/action/DirectoryArgumentCommand.java	3	2	2079	2059	2	1	2020-05-11	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/repl/ReplHandler.java	7	3	2092	2059	4	1	2020-04-28	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/Library.java	42	10	2139	1574	11	3	2020-03-12	2021-09-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/library/classLoader/MultiClassLoader.java	26	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/classLoader/FileClassLoaderDelegate.java	24	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/classLoader/ZipClassLoaderDelegate.java	42	4	1953	1913	5	2	2020-09-14	2020-10-24	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/classLoader/ClassLoaderDelegate.java	4	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/SourceLibrary.java	247	39	2139	748	49	4	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/library/LibraryDependency.java	29	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/LibraryManager.java	221	14	2139	748	18	3	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/library/LibraryHeader.java	67	5	2139	1574	6	2	2020-03-12	2021-09-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/library/PersistableSourceLibrary.java	68	2	1953	1947	2	2	2020-09-14	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/BaseLibrary.java	140	14	2139	671	16	3	2020-03-12	2024-03-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/library/error/LibraryError.java	61	4	2139	1947	5	2	2020-03-12	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/error/ModuleInSeveralLibrariesError.java	28	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/error/LibraryIOError.java	27	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/error/MultipleLibraries.java	27	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/error/PartialModuleError.java	15	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/resolver/LibraryResolver.java	7	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/library/LibraryConfig.java	114	4	2139	1574	5	3	2020-03-12	2021-09-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/library/UnmodifiableSourceLibrary.java	57	11	2139	1947	12	3	2020-03-12	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/result/TResult.java	13	8	2139	1512	9	3	2020-03-12	2021-11-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java	88	17	2139	1512	20	3	2020-03-12	2021-11-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/result/DefCallResult.java	176	20	2139	643	22	4	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/doubleChecker/CoreExpressionChecker.java	874	85	2139	425	97	4	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/doubleChecker/CoreModuleChecker.java	39	7	2139	1277	8	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/doubleChecker/CoreException.java	8	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/doubleChecker/CoreDefinitionChecker.java	353	23	2139	698	24	3	2020-03-12	2024-02-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/TypecheckingContext.java	24	15	2095	643	15	3	2020-04-25	2024-04-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/VoidConcreteVisitor.java	327	25	2139	1012	28	4	2020-03-12	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java	3749	237	2139	425	315	7	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/SearchVisitor.java	332	28	2007	607	32	3	2020-07-22	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/FixLevelParameters.java	195	6	1626	1206	6	1	2021-08-07	2022-10-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/ReplaceVarConcreteVisitor.java	163	5	1915	1715	8	2	2020-10-22	2021-05-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/FindSubexpressionVisitor.java	214	13	1982	1006	17	2	2020-08-16	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/SyntacticDesugarVisitor.java	208	14	2106	1245	22	4	2020-04-14	2022-08-23	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/WhereVarsFixVisitor.java	330	17	1252	622	23	2	2022-08-16	2024-05-07	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/FindDefCallVisitor.java	66	7	2139	1537	9	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/WhereVarsCollector.java	40	2	1252	1245	2	1	2022-08-16	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java	504	50	2139	698	69	3	2020-03-12	2024-02-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/DefinitionTypechecker.java	3381	195	2139	425	248	6	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/MinimizeLevelVisitor.java	155	10	1859	1006	11	1	2020-12-17	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/CheckForUniversesVisitor.java	84	15	2139	672	18	2	2020-03-12	2024-03-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/CollectDefCallsVisitor.java	78	13	2139	1012	15	3	2020-03-12	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/FreeVariablesClassifier.java	262	16	2139	781	18	2	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/DumbTypechecker.java	164	19	2139	643	21	4	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/BaseDefinitionTypechecker.java	56	5	2139	1537	6	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java	133	18	2139	714	19	2	2020-03-12	2024-02-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/visitor/FindLevelParameters.java	69	4	1626	1087	4	1	2021-08-07	2023-01-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/termination/BaseCallMatrix.java	218	3	2139	1992	6	3	2020-03-12	2020-08-06	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/termination/RecursiveBehavior.java	56	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/termination/DefinitionCallGraph.java	27	2	2139	1931	3	3	2020-03-12	2020-10-06	valery.isaev@gmail.com	sxh@ya.ru
base/src/main/java/org/arend/typechecking/termination/CollectCallVisitor.java	166	15	2139	689	18	3	2020-03-12	2024-03-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java	238	4	2139	1931	9	3	2020-03-12	2020-10-06	valery.isaev@gmail.com	sxh@ya.ru
base/src/main/java/org/arend/typechecking/termination/CompositeCallMatrix.java	37	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/termination/CallMatrix.java	142	7	2139	1320	8	3	2020-03-12	2022-06-09	valery.isaev@gmail.com	sxh@ya.ru
base/src/main/java/org/arend/typechecking/ArendExtensionProvider.java	7	2	2097	1966	2	2	2020-04-23	2020-09-01	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/covariance/ParametersCovarianceChecker.java	58	4	2139	1573	6	3	2020-03-12	2021-09-29	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/covariance/CovarianceChecker.java	132	10	2139	1033	11	2	2020-03-12	2023-03-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/covariance/UniverseKindChecker.java	65	12	2139	1019	13	2	2020-03-12	2023-04-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/covariance/RecursiveDataChecker.java	29	2	2139	2094	3	3	2020-03-12	2020-04-26	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/typechecking/covariance/UniverseInParametersChecker.java	56	11	2139	1019	12	2	2020-03-12	2023-04-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/UseTypechecking.java	257	26	2139	700	28	2	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/Util.java	144	15	2139	1055	17	2	2020-03-12	2023-03-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/ExpressionMatcher.java	167	9	1926	700	9	1	2020-10-11	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/Condition.java	59	7	2139	1789	8	4	2020-03-12	2021-02-25	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/PatternTypechecking.java	1045	77	2139	425	83	4	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/ExtElimClause.java	16	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/patternmatching/ConditionsChecking.java	355	20	2139	562	21	3	2020-03-12	2024-07-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/ElimTypechecking.java	1068	53	2139	425	59	5	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/patternmatching/SubstitutionData.java	40	7	2139	1886	7	3	2020-03-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/LibraryArendExtensionProvider.java	42	4	2097	1966	5	3	2020-04-23	2020-09-01	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/TerminationCheckError.java	41	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/ConstructorReferenceError.java	8	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/SquashedDataError.java	37	4	2139	1886	5	3	2020-03-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/DataTypeNotEmptyError.java	37	2	2139	1737	3	2	2020-03-12	2021-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/CoerceClashError.java	25	3	1919	1913	4	2	2020-10-18	2020-10-24	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/ElimSubstError.java	31	2	2036	1766	2	1	2020-06-23	2021-03-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/GoalDataHolder.java	84	5	1441	643	5	3	2022-02-08	2024-04-16	marat.khabibullin@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/HigherConstructorMatchingError.java	22	2	2087	2086	2	2	2020-05-03	2020-05-04	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/SolveEquationError.java	29	2	2139	643	3	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/CertainTypecheckingError.java	39	9	2139	574	10	3	2020-03-12	2024-06-24	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/TypeFromFieldError.java	32	2	2139	643	3	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/CoerceCycleError.java	30	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/FieldCycleError.java	27	1	781	781	1	1	2023-11-30	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/LevelMismatchError.java	34	5	2068	1243	5	4	2020-05-22	2022-08-25	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/IdpPatternError.java	41	4	2139	434	5	2	2020-03-12	2024-11-11	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/ImpossibleEliminationError.java	41	6	2139	1097	7	3	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/SolveEquationsError.java	34	2	2139	643	3	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/ExpectedConstructorError.java	65	15	2139	1525	16	3	2020-03-12	2021-11-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/inference/RecursiveInstanceInferenceError.java	45	2	1219	643	2	1	2022-09-18	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/inference/FunctionArgInferenceError.java	32	4	2139	643	5	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/inference/LambdaInferenceError.java	29	3	2139	643	4	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/CoreErrorWrapper.java	47	3	2139	1973	4	2	2020-03-12	2020-08-25	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/WrongReferable.java	11	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/IncorrectReferenceError.java	18	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/FieldDependencyError.java	28	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/NotPiType.java	30	2	2139	643	3	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/PathEndpointMismatchError.java	31	2	2139	643	3	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/ConstantSolveLevelEquationError.java	32	2	2139	1537	3	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/PatternUnificationError.java	22	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/LocalErrorReporter.java	26	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/SuperLevelsMismatchError.java	38	2	1655	1597	2	1	2021-07-09	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/ConditionsError.java	27	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/NotEqualExpressionsError.java	30	2	1717	643	2	1	2021-05-08	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/FunctionWithoutBodyError.java	19	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/ImplicitLambdaError.java	29	4	2139	748	5	2	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/TruncatedDataError.java	33	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/FieldTypeParameterError.java	26	2	2139	643	3	2	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/NotEnoughPatternsError.java	12	3	2139	1979	4	2	2020-03-12	2020-08-19	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/TypeComputationError.java	29	2	2120	643	2	2	2020-03-31	2024-04-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/SolveLevelEquationsError.java	102	5	2139	1015	6	2	2020-03-12	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/IncorrectImplementationError.java	28	1	1430	1430	1	1	2022-02-19	2022-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/TypeMismatchWithSubexprError.java	11	4	1040	642	4	1	2023-03-16	2024-04-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/ReferenceTypeError.java	15	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/HasErrors.java	9	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/GoalError.java	90	14	2139	643	16	4	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/local/NonPositiveDataError.java	20	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/DataUniverseError.java	14	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/error/local/CannotFindConstructorError.java	8	2	1301	1252	2	2	2022-06-28	2022-08-16	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/CycleError.java	97	3	2139	781	4	2	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/error/ErrorReporterCounter.java	22	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/dfs/DFS.java	38	1	700	700	1	1	2024-02-19	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/dfs/ClassDFS.java	11	1	700	700	1	1	2024-02-19	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/dfs/FieldDFS.java	73	1	700	700	1	1	2024-02-19	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/dfs/MapDFS.java	19	1	700	700	1	1	2024-02-19	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/TypecheckedReporter.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/computation/BooleanComputationRunner.java	9	1	1944	1944	1	1	2020-09-23	2020-09-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/computation/CancellationIndicator.java	14	3	2139	1966	5	2	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/computation/ComputationRunner.java	44	4	2139	1750	6	2	2020-03-12	2021-04-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/computation/ThreadCancellationIndicator.java	13	2	2139	1994	4	2	2020-03-12	2020-08-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/computation/DefinitionCancellationIndicator.java	23	2	1994	1966	3	1	2020-08-04	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/computation/BooleanCancellationIndicator.java	12	1	1750	1750	1	1	2021-04-05	2021-04-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/computation/UnstoppableCancellationIndicator.java	12	1	1937	1937	1	1	2020-09-30	2020-09-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/subexpr/SubExprError.java	77	3	2139	2125	4	3	2020-03-12	2020-03-26	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/typechecking/subexpr/FindBinding.java	156	13	2139	1715	18	3	2020-03-12	2021-05-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubExprVisitor.java	432	41	2139	700	45	5	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/subexpr/CorrespondedSubDefVisitor.java	140	21	2139	700	29	3	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/provider/EmptyConcreteProvider.java	33	6	2139	1987	7	2	2020-03-12	2020-08-11	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/provider/ConcreteProvider.java	11	10	2139	1623	12	2	2020-03-12	2021-08-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/LevelContext.java	17	2	1648	1597	2	1	2021-07-16	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/ImplicitArgsInference.java	10	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/implicitargs/StdImplicitArgsInference.java	853	67	2139	643	80	5	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsWrapper.java	80	12	2139	1597	14	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/Equations.java	32	12	2139	1597	14	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/TwoStageEquations.java	823	68	2139	641	77	4	2020-03-12	2024-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/DummyEquations.java	76	12	2139	1597	14	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/InferenceVariableListener.java	5	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/Equation.java	40	4	2139	2069	5	3	2020-03-12	2020-05-21	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquationsSolver.java	342	13	1969	700	16	3	2020-08-29	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquation.java	83	2	2139	2102	3	2	2020-03-12	2020-04-18	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/implicitargs/equations/LevelEquations.java	75	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/instance/pool/RecursiveInstanceData.java	13	5	2139	1966	6	2	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/pool/InstancePool.java	19	8	2139	1520	9	3	2020-03-12	2021-11-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/pool/RecursiveInstanceHoleExpression.java	10	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/instance/pool/LocalInstancePool.java	120	11	2139	794	13	3	2020-03-12	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/pool/GlobalInstancePool.java	216	22	2139	1519	23	3	2020-03-12	2021-11-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/provider/InstanceProviderSet.java	135	17	2139	794	20	2	2020-03-12	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/provider/InstanceProvider.java	6	5	2139	1966	6	2	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/provider/SimpleInstanceProvider.java	48	9	2139	1520	10	2	2020-03-12	2021-11-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/instance/provider/EmptyInstanceProvider.java	14	5	2139	1966	6	2	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/PartialComparator.java	23	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/typechecking/order/dependency/DummyDependencyListener.java	19	2	2139	1945	3	2	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/dependency/MetaDependencyCollector.java	12	1	1945	1945	1	1	2020-09-22	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/dependency/DependencyListener.java	8	2	2139	1945	3	2	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/dependency/DependencyCollector.java	94	11	2139	1826	13	2	2020-03-12	2021-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/Ordering.java	298	32	2139	794	36	3	2020-03-12	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/TarjanSCC.java	57	1	794	794	1	1	2023-11-17	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/DefinitionComparator.java	22	3	2139	1012	4	2	2020-03-12	2023-04-13	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/listener/CollectingOrderingListener.java	147	10	2139	794	11	2	2020-03-12	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/listener/TypecheckingOrderingListener.java	521	55	2139	794	59	4	2020-03-12	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/listener/OrderingListener.java	12	8	2139	794	9	2	2020-03-12	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/order/MapTarjanSCC.java	29	1	794	794	1	1	2023-11-17	2023-11-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/typechecking/TypecheckerState.java	34	10	2139	641	11	3	2020-03-12	2024-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/AbstractedExpressionImpl.java	89	5	1971	1566	7	2	2020-08-27	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/VariableRenamerFactoryImpl.java	20	2	2094	2062	2	1	2020-04-26	2020-05-28	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java	803	66	2139	942	78	6	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/extImpl/DefinitionRequester.java	7	2	2125	2122	3	1	2020-03-26	2020-03-29	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/extImpl/ArendDependencyProviderImpl.java	76	13	2073	1189	14	3	2020-05-17	2022-10-18	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/UncheckedExpressionImpl.java	102	21	2117	643	21	5	2020-04-03	2024-04-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/DefinitionContributorImpl.java	106	21	2139	942	26	5	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/extImpl/Disableable.java	23	3	2139	2094	4	3	2020-03-12	2020-04-26	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/extImpl/CoreParameterBuilderImpl.java	72	2	1719	1384	2	1	2021-05-06	2022-04-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/AbstractedDependentLinkType.java	44	3	1971	1566	3	2	2020-08-27	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/SerializableKeyRegistryImpl.java	33	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/userData/UserDataHolderImpl.java	49	3	1980	1929	3	2	2020-08-18	2020-10-08	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/BaseContextDataImpl.java	20	2	1943	1911	2	1	2020-09-24	2020-10-26	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/extImpl/definitionRenamer/PatternContextDataImpl.java	18	2	1943	1911	3	1	2020-09-24	2020-10-26	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/extImpl/definitionRenamer/CachingDefinitionRenamer.java	22	3	2057	1603	3	2	2020-06-02	2021-08-30	valery.isaev@gmail.com	konstantin.nisht@jetbrains.com
base/src/main/java/org/arend/extImpl/definitionRenamer/ConflictDefinitionRenamer.java	81	4	2057	1542	4	2	2020-06-02	2021-10-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/definitionRenamer/ScopeDefinitionRenamer.java	60	6	2057	1603	6	2	2020-06-02	2021-08-30	valery.isaev@gmail.com	konstantin.nisht@jetbrains.com
base/src/main/java/org/arend/extImpl/DefinitionProviderImpl.java	14	8	2139	1966	10	3	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/ContextDataImpl.java	75	18	2139	1597	20	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/extImpl/ConcreteAppBuilderImpl.java	56	1	2120	2120	1	1	2020-03-31	2020-03-31	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/extImpl/ui/DelegateQuery.java	14	3	2091	2069	3	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/extImpl/ui/SimpleQuery.java	14	3	2091	2069	3	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/extImpl/ui/BaseSession.java	17	3	2091	2069	3	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/error/CountingErrorReporter.java	40	5	2139	1369	6	2	2020-03-12	2022-04-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/error/DummyErrorReporter.java	10	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/error/ParsingError.java	51	2	2139	1204	3	2	2020-03-12	2022-10-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/error/SourcePosition.java	20	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/source/BinarySource.java	7	4	2139	1945	6	2	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/source/ZipFileBinarySource.java	44	2	1953	1947	2	2	2020-09-14	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/source/SourceLoader.java	128	12	2139	700	17	4	2020-03-12	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/source/StreamBinarySource.java	149	20	2139	476	26	6	2020-03-12	2024-09-30	valery.isaev@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/source/PersistableBinarySource.java	8	2	1946	1945	2	1	2020-09-21	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/source/Source.java	18	2	2139	748	3	2	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/source/error/PersistingError.java	10	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/source/error/LocationError.java	33	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/source/FileBinarySource.java	57	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/source/GZIPStreamBinarySource.java	45	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/ext/prettifier/MergingExpressionPrettifier.java	20	1	643	643	1	1	2024-04-16	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/ModuleLocation.java	52	3	2066	1945	3	3	2020-05-24	2020-09-22	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/CallTargetProvider.java	17	7	2139	1241	8	2	2020-03-12	2022-08-27	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/CallTargetIndexProvider.java	7	5	2139	1345	6	2	2020-03-12	2022-05-15	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/ExpressionSerialization.java	648	42	2139	781	48	5	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/SimpleCallTargetIndexProvider.java	20	6	2139	1228	7	2	2020-03-12	2022-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/DefinitionSerialization.java	461	49	2139	607	53	3	2020-03-12	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/ModuleSerialization.java	117	30	2139	425	33	3	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/SimpleCallTargetProvider.java	55	10	2139	748	12	2	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/ExpressionDeserialization.java	506	46	2139	781	51	4	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/ModuleDeserialization.java	378	38	2139	425	45	4	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/serialization/DefinitionDeserialization.java	486	59	2139	607	65	3	2020-03-12	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/error/ExceptionError.java	43	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/module/error/ModuleNotFoundError.java	27	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/module/error/DeserializationError.java	24	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/module/ModuleRegistry.java	8	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/module/scopeprovider/EmptyModuleScopeProvider.java	14	2	2139	1282	4	2	2020-03-12	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/scopeprovider/ModuleScopeProvider.java	9	3	2139	1282	5	3	2020-03-12	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/scopeprovider/CachingModuleScopeProvider.java	39	2	2139	1282	4	2	2020-03-12	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/module/scopeprovider/SimpleModuleScopeProvider.java	47	4	2139	1282	6	3	2020-03-12	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/util/GraphClosure.java	33	1	2041	2041	1	1	2020-06-18	2020-06-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/util/Arend.java	11	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/Decision.java	10	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/ArendExpr.java	11	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/StringEscapeUtils.java	181	2	2023	2012	2	2	2020-07-06	2020-07-17	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/util/ComputationInterruptedException.java	3	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/FileUtils.java	134	12	2139	901	13	4	2020-03-12	2023-08-02	valery.isaev@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/util/FullName.java	36	3	2139	2064	4	3	2020-03-12	2020-05-26	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/SingletonList.java	118	2	2008	1995	2	2	2020-07-21	2020-08-03	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/StringFormat.java	13	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/util/Version.java	60	5	2139	1582	6	2	2020-03-12	2021-09-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/util/Range.java	91	3	2139	1566	5	2	2020-03-12	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/util/VersionRange.java	18	1	1582	1582	1	1	2021-09-20	2021-09-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/resolving/visitor/DefinitionResolveNameVisitor.java	963	90	2139	574	114	5	2020-03-12	2024-06-24	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/resolving/visitor/ExpressionResolveNameVisitor.java	953	93	2139	668	130	6	2020-03-12	2024-03-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/resolving/visitor/TypeClassReferenceExtractVisitor.java	140	22	2139	917	24	4	2020-03-12	2023-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/resolving/ResolverListener.java	22	17	2139	1015	18	2	2020-03-12	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/renamer/StringRenamer.java	23	2	2139	2094	3	3	2020-03-12	2020-04-26	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/naming/renamer/Renamer.java	140	9	2139	1597	10	4	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/renamer/MapReferableRenamer.java	15	3	1566	1457	3	2	2021-10-06	2022-01-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/renamer/ReferableRenamer.java	44	5	2139	1566	6	4	2020-03-12	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/binOp/MetaBinOpParser.java	186	3	1301	1229	3	2	2022-06-28	2022-09-08	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/binOp/BinOpParser.java	123	4	1301	1252	5	2	2022-06-28	2022-08-16	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/binOp/BinOpEngine.java	14	2	1301	1252	2	2	2022-06-28	2022-08-16	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/binOp/PatternBinOpEngine.java	73	5	1301	1097	7	2	2022-06-28	2023-01-18	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/binOp/ExpressionBinOpEngine.java	51	2	1301	1252	2	2	2022-06-28	2022-08-16	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/ConcreteResolvedClassReferable.java	89	5	1528	942	5	2	2021-11-13	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/ParameterReferable.java	47	5	1269	917	7	1	2022-07-30	2023-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/ConcreteLocatedReferable.java	61	4	1537	917	4	2	2021-11-04	2023-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/TypedLocatedReferable.java	25	5	1600	942	5	2	2021-09-02	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/TypedReferable.java	11	5	2139	2012	6	2	2020-03-12	2020-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/NamedUnresolvedReference.java	82	10	2139	1097	11	3	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/DataLevelReferable.java	29	5	1654	1277	6	1	2021-07-10	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/InternalConcreteLocatedReferable.java	21	3	1537	942	3	2	2021-11-04	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/Referable.java	27	8	2139	1277	9	3	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/AbstractedReferable.java	22	1	1566	1566	1	1	2021-10-06	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/CoreReferable.java	24	4	2139	1826	5	3	2020-03-12	2021-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/ClassReferableImpl.java	48	15	2139	942	17	4	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/FakeLocalReferable.java	6	1	2057	2057	1	1	2020-06-02	2020-06-02	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/Reference.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/reference/FullModuleReferable.java	32	3	2097	2064	3	2	2020-04-23	2020-05-26	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/reference/TCFieldReferable.java	3	2	2139	1966	3	2	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/ConcreteClassFieldReferable.java	22	4	1537	942	4	2	2021-11-04	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/HiddenLocalReferable.java	10	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java	81	14	2139	942	15	4	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/ErrorReference.java	44	4	2139	1097	5	2	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/Parameter.java	7	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/reference/TCLevelReferable.java	55	3	1295	1277	4	1	2022-07-04	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/GeneratedLocalReferable.java	6	1	1868	1868	1	1	2020-12-08	2020-12-08	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/LevelReferable.java	4	3	1655	1597	4	1	2021-07-09	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/LevelDefinition.java	29	1	1277	1277	2	1	2022-07-22	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/MetaReferable.java	122	22	2139	425	28	4	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/ClassReferable.java	139	11	2139	698	12	2	2020-03-12	2024-02-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/GlobalReferable.java	63	20	2139	425	22	4	2020-03-12	2024-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/TypedRedirectingReferable.java	41	7	2139	2012	8	2	2020-03-12	2020-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java	23	1	1826	1826	1	1	2021-01-19	2021-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/LongUnresolvedReference.java	273	13	2139	867	15	4	2020-03-12	2023-09-05	valery.isaev@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/naming/reference/ConcreteClassReferable.java	69	8	1537	622	9	2	2021-11-04	2024-05-07	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/LocalReferable.java	16	2	2139	1269	3	2	2020-03-12	2022-07-30	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/FieldReferable.java	12	2	2139	1245	3	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java	29	8	2139	942	9	3	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/TCDefReferable.java	77	2	1966	1939	2	1	2020-09-01	2020-09-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/UnresolvedReference.java	23	10	2139	1097	11	3	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java	33	1	1945	1945	1	1	2020-09-22	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/converter/IdReferableConverter.java	16	8	2139	1648	9	2	2020-03-12	2021-07-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/converter/ReferableConverter.java	10	11	2139	1648	12	3	2020-03-12	2021-07-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/ModuleReferable.java	41	2	2139	2097	3	3	2020-03-12	2020-04-23	valery.isaev@gmail.com	valery.isaev@jetbrains.com
base/src/main/java/org/arend/naming/reference/RedirectingReferableImpl.java	37	7	2139	2012	8	2	2020-03-12	2020-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/SimpleInternalReferable.java	18	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/reference/TCReferable.java	13	11	2139	1097	13	2	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/RedirectingReferable.java	28	12	2139	942	16	4	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/reference/DataLocalReferable.java	33	4	2024	1537	4	1	2020-07-05	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/LocatedReferable.java	59	9	2139	1097	10	3	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/reference/AliasReferable.java	31	6	2085	2012	7	3	2020-05-05	2020-07-17	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/EmptyScope.java	23	3	2139	1277	4	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/ScopeFactory.java	312	21	2139	872	24	3	2020-03-12	2023-08-31	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/ConvertingScope.java	81	5	2139	1277	6	3	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/CachingScope.java	87	10	2139	1277	14	3	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/DelegateScope.java	25	3	1294	1277	3	1	2022-07-05	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/ImportedScope.java	143	6	2139	1277	9	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/local/LocalListScope.java	28	1	1118	1118	1	1	2022-12-28	2022-12-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/local/LetScope.java	93	7	2139	1252	8	3	2020-03-12	2022-08-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/local/ElimScope.java	25	6	2139	1277	8	3	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/local/TelescopeScope.java	70	8	2139	1097	9	3	2020-03-12	2023-01-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/local/PatternScope.java	56	7	2139	998	8	3	2020-03-12	2023-04-27	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/MergeScope.java	100	5	2139	1277	6	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/ListScope.java	102	6	2139	1118	9	2	2020-03-12	2022-12-28	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/SimpleScope.java	24	4	2139	1277	6	3	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/SingletonScope.java	33	3	2139	1277	5	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/LexicalScope.java	304	15	2139	1242	20	3	2020-03-12	2022-08-26	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/PrivateFilteredScope.java	37	3	958	763	3	2	2023-06-06	2023-12-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/LevelLexicalScope.java	1	4	1297	1277	5	1	2022-07-02	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/LazyScope.java	58	4	2139	1277	6	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/NamespaceCommandNamespace.java	146	9	2139	942	13	3	2020-03-12	2023-06-22	valery.isaev@gmail.com	fedor.part@gmail.com
base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java	115	9	2139	755	11	3	2020-03-12	2023-12-26	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/ConstructorFilteredScope.java	37	4	2139	1277	5	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/scope/Scope.java	98	10	2139	1218	14	3	2020-03-12	2022-09-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/error/DuplicateNameError.java	43	2	2139	1537	3	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/error/NotInScopeError.java	34	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/error/ExistingOpenedNameError.java	21	2	2139	2011	3	2	2020-03-12	2020-07-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/error/ReferenceError.java	40	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/naming/error/DuplicateOpenedNameError.java	23	2	2139	2011	3	2	2020-03-12	2020-07-18	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/naming/error/PrecedenceError.java	27	4	2047	1794	4	1	2020-06-12	2021-02-20	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/prelude/PreludeResourceSource.java	43	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/prelude/PreludeLibrary.java	85	8	2139	1282	10	3	2020-03-12	2022-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/prelude/Prelude.java	439	49	2139	710	58	6	2020-03-12	2024-02-09	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/prelude/PreludeTypecheckingLibrary.java	41	5	2139	1995	7	2	2020-03-12	2020-08-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/prelude/PreludeResourceLibrary.java	51	8	2139	1945	10	3	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/NameRenaming.java	11	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/ChildNamespaceCommand.java	7	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/abs/AbstractExpressionError.java	19	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/abs/AbstractExpressionVisitor.java	28	14	2139	1597	15	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/abs/ConcreteBuilder.java	742	73	2139	704	83	6	2020-03-12	2024-02-15	valery.isaev@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/term/abs/AbstractLevelExpressionVisitor.java	13	4	2139	1597	5	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/abs/IncompleteExpressionError.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/abs/AbstractParameterPattern.java	66	7	1716	998	7	2	2021-05-09	2023-04-27	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/abs/BaseAbstractExpressionVisitor.java	89	14	2139	1597	15	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/abs/AbstractDefinitionVisitor.java	7	2	2139	1988	3	2	2020-03-12	2020-08-10	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/abs/Abstract.java	246	31	2139	998	35	5	2020-03-12	2023-04-27	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ConcreteLevelExpressionVisitor.java	10	5	2139	1015	6	2	2020-03-12	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/FindLevelVariablesVisitor.java	39	2	1251	1015	2	1	2022-08-17	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/Concrete.java	2482	129	2139	622	168	5	2020-03-12	2024-05-07	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java	615	17	1122	607	18	1	2022-12-24	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java	275	4	1490	1196	4	2	2021-12-21	2022-10-11	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ConcreteDefinitionVisitor.java	6	3	2139	1999	4	2	2020-03-12	2020-07-30	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/concrete/SubstConcreteVisitor.java	310	7	1246	1015	7	1	2022-08-22	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/BaseConcreteExpressionVisitor.java	295	24	2139	1196	27	4	2020-03-12	2022-10-11	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ReplaceDataVisitor.java	329	10	1252	900	10	1	2022-08-16	2023-08-03	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ConcreteExpressionVisitor.java	25	8	2139	1196	9	3	2020-03-12	2022-10-11	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ConcreteReferableDefinitionVisitor.java	5	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/concrete/FreeReferablesVisitor.java	45	12	2139	1490	14	3	2020-03-12	2021-12-21	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/LocalFreeReferableVisitor.java	21	2	1715	1252	2	1	2021-05-10	2022-08-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/ConcreteResolvableDefinitionVisitor.java	4	1	1991	1991	1	1	2020-08-07	2020-08-07	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/concrete/ConcreteExpressionFactory.java	207	26	2139	1096	27	4	2020-03-12	2023-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/concrete/DefinableMetaDefinition.java	154	18	1991	1012	31	2	2020-08-07	2023-04-13	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/Fixity.java	2	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
base/src/main/java/org/arend/term/group/Statement.java	17	4	1300	1277	5	1	2022-06-29	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/ClassGroup.java	34	4	2139	1245	5	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/ChildGroup.java	18	6	2139	622	9	2	2020-03-12	2024-05-07	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/DataGroup.java	22	4	2139	1245	5	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/EmptyGroup.java	37	5	2139	1245	6	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/AccessModifier.java	7	3	958	623	3	2	2023-06-06	2024-05-06	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/FileGroup.java	24	7	2139	1245	10	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/StaticGroup.java	46	5	2139	1245	6	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/group/Group.java	40	5	2139	1245	6	2	2020-03-12	2022-08-23	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/NamespaceCommand.java	70	2	2139	901	3	3	2020-03-12	2023-08-02	valery.isaev@gmail.com	sinchukss@gmail.com
base/src/main/java/org/arend/term/prettyprint/LocalExpressionPrettifier.java	99	1	643	643	1	1	2024-04-16	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/PrettyPrintWithSubexprVisitor.java	23	1	1040	1040	1	1	2023-03-16	2023-03-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/ToAbstractWithSubexprVisitor.java	37	3	1040	643	4	1	2023-03-16	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/ArgumentMappingIterator.java	83	6	1618	1490	10	2	2021-08-15	2021-12-21	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/PrettyPrinterConfigWithRenamer.java	17	4	2104	2057	4	2	2020-04-16	2020-06-02	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/MinimizedRepresentation.java	379	21	1618	1190	45	2	2021-08-15	2022-10-17	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/FreeVariableCollectorConcrete.java	55	5	1615	1252	7	2	2021-08-18	2022-08-16	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java	1500	78	2139	762	92	6	2020-03-12	2023-12-19	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/BiConcreteVisitor.java	289	13	1613	1097	16	2	2021-08-20	2023-01-18	konstantin.nisht@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/VariableTracker.java	15	1	1015	1015	1	1	2023-04-10	2023-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/CollectFreeVariablesVisitor.java	130	11	2092	692	12	4	2020-04-28	2024-02-27	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/DefinitionRenamerConcreteVisitor.java	22	9	2092	1597	10	4	2020-04-28	2021-09-05	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/TermWithSubtermDoc.java	60	3	1040	643	3	1	2023-03-16	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java	1078	101	2092	643	125	5	2020-04-28	2024-04-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
base/build.gradle.kts	26	6	2139	1922	9	2	2020-03-12	2020-10-15	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/ReplConfig.java	9	1	1932	1932	2	1	2020-10-05	2020-10-05	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java	61	11	2092	2059	13	1	2020-04-28	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/jline/ScopeCompleter.java	33	3	2079	901	4	2	2020-05-11	2023-08-02	ice1000kotlin@foxmail.com	sinchukss@gmail.com
cli/src/main/java/org/arend/frontend/repl/jline/ArendReplParser.java	108	1	1546	1546	1	1	2021-10-26	2021-10-26	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/jline/KeywordCompleter.java	35	2	2079	2059	7	1	2020-05-11	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/jline/SpecialCommandCompleter.java	31	2	2079	2059	3	1	2020-05-11	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/jline/CommandsCompleter.java	20	2	2079	2059	4	1	2020-05-11	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java	145	13	2079	901	26	3	2020-05-11	2023-08-02	ice1000kotlin@foxmail.com	sinchukss@gmail.com
cli/src/main/java/org/arend/frontend/repl/jline/ImportCompleter.java	25	3	2064	901	3	2	2020-05-26	2023-08-02	ice1000kotlin@foxmail.com	sinchukss@gmail.com
cli/src/main/java/org/arend/frontend/repl/jline/Completers.java	163	5	2079	1947	6	2	2020-05-11	2020-09-20	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/action/CdCommand.java	32	7	2080	1947	8	2	2020-05-10	2020-09-20	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/action/CliReplCommand.java	15	2	2080	2059	3	1	2020-05-10	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/action/UnloadModuleCommand.java	29	4	2088	2059	7	1	2020-05-02	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/action/LoadModuleCommand.java	67	8	2088	1932	13	2	2020-05-02	2020-10-05	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/action/ListLoadedModulesAction.java	88	5	2088	425	6	3	2020-05-02	2024-11-20	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/repl/action/PwdCommand.java	15	2	2080	2059	2	1	2020-05-10	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/action/LoadLibraryCommand.java	30	7	2088	2059	12	1	2020-05-02	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/repl/CommonCliRepl.java	286	30	2080	1277	49	2	2020-05-10	2022-07-22	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/ConsoleMain.java	8	2	2139	2093	3	2	2020-03-12	2020-04-27	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/parser/ParserError.java	30	2	2139	1717	3	2	2020-03-12	2021-05-08	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/parser/ParseException.java	3	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/parser/Position.java	14	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/parser/ReporterErrorListener.java	19	2	2092	2059	2	1	2020-04-28	2020-05-31	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/parser/BuildVisitor.java	1720	97	2139	623	124	6	2020-03-12	2024-05-06	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/BaseCliFrontend.java	671	63	2139	748	79	3	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/library/FileSourceLibrary.java	90	15	2139	1574	17	3	2020-03-12	2021-09-28	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/library/ZipSourceLibrary.java	154	9	1953	1574	10	2	2020-09-14	2021-09-28	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/library/FileLoadableHeaderLibrary.java	67	9	2139	1945	10	3	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/library/PreludeFileLibrary.java	41	8	2139	1945	9	3	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/library/TimedLibraryManager.java	38	4	2077	748	6	2	2020-05-13	2024-01-02	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/PreludeBinaryGenerator.java	34	9	2139	1764	12	3	2020-03-12	2021-03-22	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/ConcreteReferableProvider.java	60	8	2139	1537	9	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java	23	2	2139	1269	3	2	2020-03-12	2022-07-30	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java	28	2	1953	1947	2	2	2020-09-14	2020-09-20	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/source/StreamRawSource.java	74	20	2139	748	24	3	2020-03-12	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/source/FileRawSource.java	32	3	2139	2104	4	3	2020-03-12	2020-04-16	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java	115	5	2139	1277	7	2	2020-03-12	2022-07-22	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/FileLibraryResolver.java	124	9	2139	1945	10	2	2020-03-12	2020-09-22	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/PositionComparator.java	43	2	2139	1966	3	2	2020-03-12	2020-09-01	valery.isaev@gmail.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/ui/ArendCliUI.java	41	6	2091	1929	10	3	2020-04-29	2020-10-08	valery.isaev@jetbrains.com	valery.isaev@gmail.com
cli/src/main/java/org/arend/frontend/ui/CliSession.java	181	4	2091	2069	4	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
cli/build.gradle.kts	40	11	2139	1546	20	2	2020-03-12	2021-10-26	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
buildSrc/src/main/groovy/org/arend/gradle/GenerateVersionTask.groovy	31	4	2145	1582	5	4	2020-03-06	2021-09-20	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
buildSrc/src/main/groovy/org/arend/gradle/BuildPreludeTask.groovy	21	7	2110	2012	9	2	2020-04-10	2020-07-17	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
buildSrc/src/main/antlr/org/arend/frontend/parser/Arend.g4	279	61	2146	684	69	6	2020-03-05	2024-03-06	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
buildSrc/build.gradle.kts	19	6	2146	859	8	4	2020-03-05	2023-09-13	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
proto/src/main/proto/Definition.proto	234	42	2139	607	45	3	2020-03-12	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
proto/src/main/proto/Expression.proto	314	35	2139	781	39	4	2020-03-12	2023-11-30	valery.isaev@gmail.com	valery.isaev@gmail.com
proto/src/main/proto/Level.proto	18	5	2139	1597	6	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
proto/src/main/proto/Module.proto	27	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
proto/build.gradle.kts	18	7	2139	859	9	2	2020-03-12	2023-09-13	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/definition/CoreClassDefinition.java	28	6	2139	607	8	3	2020-03-12	2024-05-22	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/definition/CoreDataDefinition.java	13	5	2139	2034	7	3	2020-03-12	2020-06-25	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/definition/CoreClassField.java	12	1	2139	2139	3	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/definition/CoreFunctionDefinition.java	13	6	2139	1761	8	3	2020-03-12	2021-03-25	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/definition/CoreDefinition.java	12	6	2139	2059	7	3	2020-03-12	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/definition/CoreConstructor.java	11	4	2139	1913	7	3	2020-03-12	2020-10-24	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/context/CoreParameter.java	16	8	2139	1809	10	3	2020-03-12	2021-02-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/context/CoreBinding.java	8	5	2139	1979	6	3	2020-03-12	2020-08-19	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/context/CoreInferenceVariable.java	5	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/context/CoreEvaluatingBinding.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/context/CoreParameterBuilder.java	15	2	1719	1384	2	1	2021-05-06	2022-04-06	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/body/CorePattern.java	59	10	2139	1228	14	2	2020-03-12	2022-09-09	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/body/CoreBody.java	3	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/body/CoreElimBody.java	8	2	2139	1977	4	2	2020-03-12	2020-08-21	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/body/CoreElimClause.java	11	3	2139	1970	5	2	2020-03-12	2020-08-28	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/body/CoreExpressionPattern.java	5	1	1823	1823	1	1	2021-01-22	2021-01-22	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/body/CoreIntervalElim.java	13	1	2139	2139	3	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreFieldCallExpression.java	7	2	2139	2038	4	2	2020-03-12	2020-06-21	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreErrorExpression.java	4	2	2139	1771	3	2	2020-03-12	2021-03-15	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CorePiExpression.java	9	3	2139	1869	7	2	2020-03-12	2020-12-07	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreTupleExpression.java	7	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreAbsExpression.java	8	1	2139	2139	3	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreExpressionVisitor.java	31	8	2139	1006	10	2	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/BaseCoreExpressionVisitor.java	113	10	1915	1006	12	2	2020-10-22	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreExpression.java	43	26	2139	687	31	3	2020-03-12	2024-03-03	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreUniverseExpression.java	6	1	2139	2139	3	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/UncheckedExpression.java	32	19	2117	643	19	5	2020-04-03	2024-04-16	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreReferenceExpression.java	6	1	2139	2139	3	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreArrayExpression.java	13	2	1746	1728	2	1	2021-04-09	2021-04-27	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreAtExpression.java	6	2	1573	1486	3	1	2021-09-29	2021-12-25	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreStringExpression.java	5	1	1006	1006	1	1	2023-04-19	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/AbstractedExpression.java	9	3	1971	1566	3	2	2020-08-27	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreCaseExpression.java	14	5	2139	1913	8	2	2020-03-12	2020-10-24	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreIntegerExpression.java	6	3	2139	1913	5	2	2020-03-12	2020-10-24	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreSigmaExpression.java	6	1	2139	2139	3	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreLamExpression.java	9	3	2139	1869	7	2	2020-03-12	2020-12-07	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CorePEvalExpression.java	5	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreLetExpression.java	8	3	2139	1886	4	2	2020-03-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreDefCallExpression.java	11	6	2038	1482	7	1	2020-06-21	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreTypeConstructorExpression.java	16	1	1537	1537	1	1	2021-11-04	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreClassCallExpression.java	27	9	2139	1482	12	3	2020-03-12	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CorePathExpression.java	8	3	1575	1380	3	1	2021-09-27	2022-04-10	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreBoxExpression.java	4	1	1196	1196	1	1	2022-10-11	2022-10-11	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreTypeDestructorExpression.java	7	1	1537	1537	1	1	2021-11-04	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreInferenceReferenceExpression.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/expr/CoreDataCallExpression.java	13	13	2139	1482	16	3	2020-03-12	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreFunCallExpression.java	10	6	2139	1482	9	2	2020-03-12	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreAppExpression.java	7	2	2139	1913	5	2	2020-03-12	2020-10-24	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreConCallExpression.java	10	5	2139	1482	8	2	2020-03-12	2021-12-29	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/expr/CoreNewExpression.java	8	2	2139	2117	3	3	2020-03-12	2020-04-03	valery.isaev@gmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/core/expr/CoreProjExpression.java	6	3	2139	1913	5	2	2020-03-12	2020-10-24	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/level/LevelSubstitution.java	21	2	1671	1597	2	1	2021-06-23	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/level/CoreLevels.java	6	2	1671	1597	2	1	2021-06-23	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/level/CoreSort.java	8	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/level/CoreLevel.java	8	2	2139	1771	3	2	2020-03-12	2021-03-15	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/ops/SubstitutionPair.java	11	3	1909	1903	3	3	2020-10-28	2020-11-03	valery.isaev@gmail.com	sxh@ya.ru
api/src/main/java/org/arend/ext/core/ops/CMP.java	9	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/core/ops/NormalizationMode.java	2	4	2139	1039	5	2	2020-03-12	2023-03-17	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/core/ops/ExpressionMapper.java	8	2	2139	2111	4	3	2020-03-12	2020-04-09	valery.isaev@gmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/prettifier/ExpressionPrettifier.java	8	1	643	643	1	1	2024-04-16	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/DefinitionProvider.java	7	3	2139	2112	4	3	2020-03-12	2020-04-08	valery.isaev@gmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/ArendExtension.java	43	22	2139	643	26	3	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/dependency/Dependency.java	11	2	2073	2069	3	2	2020-05-17	2020-05-21	ice1000kotlin@foxmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/dependency/ArendDependencyProvider.java	9	6	2073	1189	7	3	2020-05-17	2022-10-18	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/LiteralTypechecker.java	21	6	2016	1772	7	2	2020-07-13	2021-03-14	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfigImpl.java	36	1	2104	2104	1	1	2020-04-16	2020-04-16	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfig.java	35	7	2139	1039	8	4	2020-03-12	2023-03-17	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/DefinitionRenamer.java	7	8	2104	1603	9	3	2020-04-16	2021-08-30	valery.isaev@jetbrains.com	konstantin.nisht@jetbrains.com
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrintable.java	9	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterFlag.java	15	3	2139	1553	4	2	2020-03-12	2021-10-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/TermDoc.java	48	5	2139	643	7	3	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/PPDoc.java	20	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java	44	3	2139	643	4	3	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/TermTextDoc.java	17	3	2139	1076	4	3	2020-03-12	2023-02-08	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/DocFactory.java	156	7	2139	643	8	3	2020-03-12	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/VListDoc.java	80	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/HListDoc.java	32	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/ReferenceDoc.java	24	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java	35	1	1932	1932	1	1	2020-10-05	2020-10-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/DocStringBuilder.java	59	3	2139	1932	4	2	2020-03-12	2020-10-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/LineDoc.java	25	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/Doc.java	31	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/LineDocVisitor.java	25	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/CachingDoc.java	67	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/DocVisitor.java	14	2	2139	1932	3	2	2020-03-12	2020-10-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/TextDoc.java	22	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/prettyprinting/doc/HangDoc.java	96	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/serialization/SerializableKey.java	13	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/serialization/SerializableKeyRegistry.java	6	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/serialization/ArendDeserializer.java	7	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/serialization/ArendSerializer.java	6	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/serialization/DeserializationException.java	6	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/DefaultArendExtension.java	44	11	2139	2012	12	3	2020-03-12	2020-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteLevel.java	3	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteSourceNode.java	5	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteClassElement.java	3	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/definition/ConcreteConstructorClause.java	4	1	1528	1528	1	1	2021-11-13	2021-11-13	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/definition/FunctionKind.java	26	2	1537	1243	2	1	2021-11-04	2022-08-25	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/definition/ConcreteConstructor.java	4	1	1528	1528	1	1	2021-11-13	2021-11-13	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/definition/ClassFieldKind.java	2	1	1528	1528	1	1	2021-11-13	2021-11-13	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/definition/ConcreteLevelParameters.java	9	1	1529	1529	1	1	2021-11-12	2021-11-12	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/definition/ConcreteDefinition.java	10	3	1537	1528	3	1	2021-11-04	2021-11-13	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteClause.java	10	4	2139	1772	5	2	2020-03-12	2021-03-14	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteParameter.java	13	5	2139	1566	6	3	2020-03-12	2021-10-06	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteFunctionBody.java	3	1	1537	1537	1	1	2021-11-04	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteFactory.java	112	44	2139	1006	48	5	2020-03-12	2023-04-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteAppBuilder.java	12	1	2120	2120	1	1	2020-03-31	2020-03-31	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseExpression.java	12	1	2043	2043	1	1	2020-06-16	2020-06-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteTypedExpression.java	6	1	2011	2011	1	1	2020-07-18	2020-07-18	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteLetExpression.java	10	3	2049	1886	3	1	2020-06-10	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteLamExpression.java	8	1	2049	2049	1	1	2020-06-10	2020-06-10	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteExpression.java	10	8	2139	1903	9	4	2020-03-12	2020-11-03	valery.isaev@gmail.com	sxh@ya.ru
api/src/main/java/org/arend/ext/concrete/expr/ConcreteNumberExpression.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteReferenceExpression.java	11	3	2139	1597	5	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcretePiExpression.java	8	1	1564	1564	1	1	2021-10-08	2021-10-08	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteThisExpression.java	6	1	1059	1059	1	1	2023-02-25	2023-02-25	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteTupleExpression.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteClassExtExpression.java	6	4	1903	1886	4	2	2020-11-03	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteArgument.java	6	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteClauses.java	8	2	1984	1982	2	2	2020-08-14	2020-08-16	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseArgument.java	10	3	2139	1982	4	2	2020-03-12	2020-08-16	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteIncompleteExpression.java	12	1	2055	2055	1	1	2020-06-04	2020-06-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteGoalExpression.java	7	5	2097	2012	5	3	2020-04-23	2020-07-17	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclause.java	10	7	1986	1886	7	3	2020-08-12	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteAppExpression.java	7	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteHoleExpression.java	3	1	2011	2011	1	1	2020-07-18	2020-07-18	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteUniverseExpression.java	7	1	1829	1829	1	1	2021-01-16	2021-01-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteSigmaExpression.java	7	1	1567	1567	1	1	2021-10-05	2021-10-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclauses.java	7	2	1984	1982	2	2	2020-08-14	2020-08-16	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/expr/ConcreteStringExpression.java	5	2	2023	2012	2	2	2020-07-06	2020-07-17	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/ConcreteLetClause.java	3	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/concrete/pattern/ConcretePattern.java	13	1	1772	1772	1	1	2021-03-14	2021-03-14	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/pattern/ConcreteReferencePattern.java	6	1	1772	1772	1	1	2021-03-14	2021-03-14	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/pattern/ConcreteConstructorPattern.java	6	1	1772	1772	1	1	2021-03-14	2021-03-14	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/concrete/pattern/ConcreteNumberPattern.java	4	1	1772	1772	1	1	2021-03-14	2021-03-14	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/DefinitionListener.java	7	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/ListDefinitionListener.java	55	2	2046	1764	2	1	2020-06-13	2021-03-22	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/TypedExpression.java	12	7	2117	1566	8	3	2020-04-03	2021-10-06	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/DefermentChecker.java	7	1	1767	1767	1	1	2021-03-19	2021-03-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/MetaDefinition.java	30	13	2139	1794	14	3	2020-03-12	2021-02-20	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/LevelProver.java	9	4	2067	2061	4	3	2020-05-23	2020-05-29	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/BaseMetaDefinition.java	10	16	2139	1982	19	3	2020-03-12	2020-08-16	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/typechecking/BaseContextData.java	10	2	1943	1911	3	1	2020-09-24	2020-10-26	ice1000kotlin@foxmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/typechecking/ContextData.java	23	19	2139	1597	21	3	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/PatternContextData.java	6	3	1943	1772	4	2	2020-09-24	2021-03-14	ice1000kotlin@foxmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/ExpressionTypechecker.java	80	47	2139	604	61	4	2020-03-12	2024-05-25	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/ContextDataChecker.java	115	12	1983	1597	13	3	2020-08-15	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/MetaResolver.java	16	2	2011	1994	3	1	2020-07-18	2020-08-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/typechecking/GoalSolver.java	25	7	2095	2069	9	2	2020-04-25	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/typechecking/InteractiveGoalSolver.java	22	2	2080	2069	3	2	2020-05-10	2020-05-21	ice1000kotlin@foxmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/typechecking/DeferredMetaDefinition.java	62	18	2139	1767	20	4	2020-03-12	2021-03-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/reference/DataContainer.java	5	2	2139	2112	3	3	2020-03-12	2020-04-08	valery.isaev@gmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/reference/ArendRef.java	14	4	2139	1826	5	3	2020-03-12	2021-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/reference/Precedence.java	45	2	2139	2112	3	3	2020-03-12	2020-04-08	valery.isaev@gmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/reference/MetaRef.java	8	3	2121	2011	3	2	2020-03-30	2020-07-18	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/reference/ExpressionResolver.java	20	3	2047	668	3	1	2020-06-12	2024-03-22	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/RedundantCoclauseError.java	8	2	1973	1970	2	2	2020-08-25	2020-08-28	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/ErrorReporter.java	4	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/IgnoredLevelsError.java	9	3	2139	1597	4	2	2020-03-12	2021-09-05	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/FieldsImplementationError.java	24	4	1902	1886	4	2	2020-11-04	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/MissingClausesError.java	58	3	1981	1737	3	2	2020-08-17	2021-04-18	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/TypecheckingError.java	32	3	2139	1557	4	3	2020-03-12	2021-10-15	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/RedundantClauseError.java	8	2	1973	1970	2	2	2020-08-25	2020-08-28	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/ArgInferenceError.java	50	3	1219	643	3	1	2022-09-18	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/NameResolverError.java	27	1	2011	2011	1	1	2020-07-18	2020-07-18	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/SourceInfo.java	13	2	2139	1537	3	2	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/MetaException.java	7	2	2117	2112	2	1	2020-04-03	2020-04-08	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/error/LocalError.java	25	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/InstanceInferenceError.java	52	3	1219	643	3	1	2022-09-18	2024-04-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/ListErrorReporter.java	24	2	2067	2066	2	2	2020-05-23	2020-05-24	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/quickFix/RemoveErrorQuickFix.java	18	1	1557	1557	1	1	2021-10-15	2021-10-15	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/quickFix/ErrorQuickFix.java	11	1	1557	1557	1	1	2021-10-15	2021-10-15	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/quickFix/LazyErrorQuickFix.java	24	1	1557	1557	1	1	2021-10-15	2021-10-15	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/ArgumentExplicitnessError.java	8	1	2139	2139	2	2	2020-03-12	2020-03-12	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/MissingArgumentsError.java	10	2	1915	1913	3	2	2020-10-22	2020-10-24	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/error/SourceInfoReference.java	53	3	2139	1826	4	3	2020-03-12	2021-01-19	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/TypeMismatchError.java	29	3	2139	1040	6	2	2020-03-12	2023-03-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/error/GeneralError.java	101	3	2139	2102	5	3	2020-03-12	2020-04-18	valery.isaev@gmail.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/userData/UserDataHolder.java	7	1	2059	2059	1	1	2020-05-31	2020-05-31	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/userData/Key.java	17	2	2059	1929	2	1	2020-05-31	2020-10-08	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/variable/VariableRenamerFactory.java	13	4	2094	1982	4	3	2020-04-26	2020-08-16	valery.isaev@jetbrains.com	ice1000kotlin@foxmail.com
api/src/main/java/org/arend/ext/variable/VariableImpl.java	11	1	2094	2094	1	1	2020-04-26	2020-04-26	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/variable/Variable.java	5	1	2094	2094	1	1	2020-04-26	2020-04-26	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/variable/VariableRenamer.java	6	1	2094	2094	1	1	2020-04-26	2020-04-26	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/instance/InstanceSearchParameters.java	27	1	2057	2057	1	1	2020-06-02	2020-06-02	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/instance/SubclassSearchParameters.java	13	1	2057	2057	1	1	2020-06-02	2020-06-02	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/ArendPrelude.java	42	17	2139	710	20	2	2020-03-12	2024-02-09	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/module/ModulePath.java	15	2	2139	1139	3	2	2020-03-12	2022-12-07	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/module/LongName.java	59	2	2139	2104	3	3	2020-03-12	2020-04-16	valery.isaev@gmail.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/DefinitionContributor.java	21	10	2139	1537	13	3	2020-03-12	2021-11-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/util/Wrapper.java	15	1	785	785	1	1	2023-11-26	2023-11-26	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/util/StringUtils.java	20	1	748	748	2	1	2024-01-02	2024-01-02	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/util/Pair.java	31	3	1566	1252	3	2	2021-10-06	2022-08-16	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/FreeBindingsModifier.java	70	4	2069	1156	5	3	2020-05-21	2022-11-20	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/ui/ArendConsole.java	16	1	1994	1994	2	1	2020-08-04	2020-08-04	valery.isaev@gmail.com	valery.isaev@gmail.com
api/src/main/java/org/arend/ext/ui/ArendQuery.java	5	3	2091	2069	3	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/ui/ArendSession.java	16	4	2091	2069	4	2	2020-04-29	2020-05-21	valery.isaev@jetbrains.com	valery.isaev@jetbrains.com
api/src/main/java/org/arend/ext/ui/ArendUI.java	9	6	2094	1994	10	3	2020-04-26	2020-08-04	valery.isaev@jetbrains.com	valery.isaev@gmail.com
api/build.gradle.kts	4	5	2139	2012	7	2	2020-03-12	2020-07-17	valery.isaev@gmail.com	valery.isaev@gmail.com
build.gradle.kts	78	55	2694	563	88	6	2018-09-04	2024-07-05	chemike47@gmail.com	valery.isaev@gmail.com