Path	Lines of Code
buildSrc/build.gradle.kts	19
buildSrc/src/main/antlr/org/arend/frontend/parser/Arend.g4	279
buildSrc/src/main/groovy/org/arend/gradle/BuildPreludeTask.groovy	21
buildSrc/src/main/groovy/org/arend/gradle/GenerateVersionTask.groovy	31