• File size measurements show the distribution of size of files.
• Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
• It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.

• There are 803 files with 76,933 lines of code.
• 10 very long files (19,165 lines of code)
• 15 long files (10,617 lines of code)
• 51 medium size files (15,710 lines of codeclsfd_ftr_w_mp_ins)
• 86 small files (11,971 lines of code)
• 641 very small files (19,470 lines of code)

There are 330 files with lines longer than 120 characters. In total, there are 3600 long lines.

File	# lines	# units	# long lines
CheckTypeVisitor.java in base/src/main/java/org/arend/typechecking/visitor	3749	145	359
DefinitionTypechecker.java in base/src/main/java/org/arend/typechecking/visitor	3381	67	284
CompareVisitor.java in base/src/main/java/org/arend/core/expr/visitor	2131	83	158
BuildVisitor.java in cli/src/main/java/org/arend/frontend/parser	1720	79	151
CoreExpressionChecker.java in base/src/main/java/org/arend/typechecking/doubleChecker	874	56	102
ConcreteBuilder.java in base/src/main/java/org/arend/term/abs	742	16	99
NormalizeVisitor.java in base/src/main/java/org/arend/core/expr/visitor	1011	51	83
ToAbstractVisitor.java in base/src/main/java/org/arend/term/prettyprint	1078	23	83
StdImplicitArgsInference.java in base/src/main/java/org/arend/typechecking/implicitargs	853	15	81
PatternTypechecking.java in base/src/main/java/org/arend/typechecking/patternmatching	1045	20	80
ConcreteFactoryImpl.java in base/src/main/java/org/arend/extImpl	803	52	77
ElimTypechecking.java in base/src/main/java/org/arend/typechecking/patternmatching	1068	19	69
ExpressionResolveNameVisitor.java in base/src/main/java/org/arend/naming/resolving/visitor	953	34	69
Concrete.java in base/src/main/java/org/arend/term/concrete	2482	418	60
ConcreteCompareVisitor.java in base/src/main/java/org/arend/term/concrete	615	51	57
TwoStageEquations.java in base/src/main/java/org/arend/typechecking/implicitargs/equations	823	29	54
DefinitionResolveNameVisitor.java in base/src/main/java/org/arend/naming/resolving/visitor	963	31	47
DesugarVisitor.java in base/src/main/java/org/arend/typechecking/visitor	504	18	46
ConstructorExpressionPattern.java in base/src/main/java/org/arend/core/pattern	444	34	44
DefinitionDeserialization.java in base/src/main/java/org/arend/module/serialization	486	15	41
SubstConcreteVisitor.java in base/src/main/java/org/arend/term/concrete	310	13	37
ConcreteFactory.java in api/src/main/java/org/arend/ext/concrete	112	-	37
ConditionsChecking.java in base/src/main/java/org/arend/typechecking/patternmatching	355	10	36
TypecheckingOrderingListener.java in base/src/main/java/org/arend/typechecking/order/listener	521	32	36
ExpressionDeserialization.java in base/src/main/java/org/arend/module/serialization	506	52	35
PrettyPrintVisitor.java in base/src/main/java/org/arend/term/prettyprint	1500	80	35
DefinitionSerialization.java in base/src/main/java/org/arend/module/serialization	461	5	33
ReplaceDataVisitor.java in base/src/main/java/org/arend/term/concrete	329	9	32
GlobalInstancePool.java in base/src/main/java/org/arend/typechecking/instance/pool	216	13	30
BiConcreteVisitor.java in base/src/main/java/org/arend/term/prettyprint	289	6	30
CoreDefinitionChecker.java in base/src/main/java/org/arend/typechecking/doubleChecker	353	10	27
LevelEquationsSolver.java in base/src/main/java/org/arend/typechecking/implicitargs/equations	342	9	26
MinimizedRepresentation.java in base/src/main/java/org/arend/term/prettyprint	379	7	26
Expression.java in base/src/main/java/org/arend/core/expr	632	57	25
BaseCliFrontend.java in cli/src/main/java/org/arend/frontend	671	24	25
ModuleDeserialization.java in base/src/main/java/org/arend/module/serialization	378	11	23
MetaBinOpParser.java in base/src/main/java/org/arend/naming/binOp	186	5	23
GetTypeVisitor.java in base/src/main/java/org/arend/core/expr/visitor	458	36	22
SubstVisitor.java in base/src/main/java/org/arend/core/subst	306	35	21
UseTypechecking.java in base/src/main/java/org/arend/typechecking	257	5	21
CoerceData.java in base/src/main/java/org/arend/core/definition	305	20	19
WhereVarsFixVisitor.java in base/src/main/java/org/arend/typechecking/visitor	330	8	19
ScopeFactory.java in base/src/main/java/org/arend/naming/scope	312	2	19
ClassCallExpression.java in base/src/main/java/org/arend/core/expr	509	47	18
ExpressionTypechecker.java in api/src/main/java/org/arend/ext/typechecking	80	-	16
ElimBindingVisitor.java in base/src/main/java/org/arend/core/expr/visitor	459	39	15
SubstExpression.java in base/src/main/java/org/arend/core/expr	148	17	15
ExpressionSerialization.java in base/src/main/java/org/arend/module/serialization	648	3	15
ConcreteExpressionFactory.java in base/src/main/java/org/arend/term/concrete	207	6	15
ExpressionMatcher.java in base/src/main/java/org/arend/typechecking/patternmatching	167	4	14