- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.template files (32): src/main/resources/intentionDescriptions/ImplementFieldsInCoClauseIntention/after.ard.template src/main/resources/intentionDescriptions/ImplementFieldsInCoClauseIntention/before.ard.template src/main/resources/intentionDescriptions/AddClarifyingParensIntention/after.ard.template src/main/resources/intentionDescriptions/AddClarifyingParensIntention/before.ard.template src/main/resources/intentionDescriptions/WrapInGoalIntention/after.ard.template src/main/resources/intentionDescriptions/WrapInGoalIntention/before.ard.template src/main/resources/intentionDescriptions/SplitAtomPatternIntention/after.ard.template src/main/resources/intentionDescriptions/SplitAtomPatternIntention/before.ard.template src/main/resources/intentionDescriptions/RemoveClarifyingParensIntention/after.ard.template src/main/resources/intentionDescriptions/RemoveClarifyingParensIntention/before.ard.template src/main/resources/intentionDescriptions/CreateLetBindingIntention/after.ard.template src/main/resources/intentionDescriptions/CreateLetBindingIntention/before.ard.template src/main/resources/intentionDescriptions/GenerateFunctionFromGoalIntention/after.ard.template src/main/resources/intentionDescriptions/GenerateFunctionFromGoalIntention/before.ard.template src/main/resources/intentionDescriptions/ReplaceBracketsIntention/after.ard.template src/main/resources/intentionDescriptions/ReplaceBracketsIntention/before.ard.template src/main/resources/intentionDescriptions/ChangeArgumentExplicitnessIntention/after.ard.template src/main/resources/intentionDescriptions/ChangeArgumentExplicitnessIntention/before.ard.template src/main/resources/intentionDescriptions/ReplaceWithShortNameIntention/after.ard.template src/main/resources/intentionDescriptions/ReplaceWithShortNameIntention/before.ard.template src/main/resources/intentionDescriptions/GenerateElimMissingClausesIntention/after.ard.template src/main/resources/intentionDescriptions/GenerateElimMissingClausesIntention/before.ard.template src/main/resources/intentionDescriptions/GenerateMissingClausesIntention/after.ard.template src/main/resources/intentionDescriptions/GenerateMissingClausesIntention/before.ard.template src/main/resources/intentionDescriptions/SwapInfixOperatorArgumentsIntention/after.ard.template src/main/resources/intentionDescriptions/SwapInfixOperatorArgumentsIntention/before.ard.template src/main/resources/intentionDescriptions/ReplaceWithNormalFormIntention/after.ard.template src/main/resources/intentionDescriptions/ReplaceWithNormalFormIntention/before.ard.template src/main/resources/intentionDescriptions/ReplaceMetaWithResultIntention/after.ard.template src/main/resources/intentionDescriptions/ReplaceMetaWithResultIntention/before.ard.template src/main/resources/intentionDescriptions/ExtractExpressionToFunctionIntention/after.ard.template src/main/resources/intentionDescriptions/ExtractExpressionToFunctionIntention/before.ard.template - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.ard files (28): src/main/resources/lib/Prelude.ard src/test/resources/org/arend/arend-lib/src/Function.ard src/test/resources/org/arend/parser/fixtures/ReplTypeCommand.ard src/test/resources/org/arend/parser/fixtures/ColonExprs.ard src/test/resources/org/arend/parser/fixtures/SimpleDef.ard src/test/resources/org/arend/parser/fixtures/BareExprCommand.ard src/test/resources/org/arend/parser/fixtures/MixedReplCommandAndColon2.ard src/test/resources/org/arend/parser/fixtures/MixedReplCommandAndColon.ard src/test/resources/org/arend/commenter/fixtures/single_line_block_uncomment_after.ard src/test/resources/org/arend/commenter/fixtures/single_line_uncomment_after.ard src/test/resources/org/arend/commenter/fixtures/multi_line_after.ard src/test/resources/org/arend/commenter/fixtures/single_line_uncomment.ard src/test/resources/org/arend/commenter/fixtures/single_line_uncomment_with_space_after.ard src/test/resources/org/arend/commenter/fixtures/single_line_after.ard src/test/resources/org/arend/commenter/fixtures/single_line.ard src/test/resources/org/arend/commenter/fixtures/multi_line.ard src/test/resources/org/arend/commenter/fixtures/single_line_block_uncomment.ard src/test/resources/org/arend/commenter/fixtures/indented_single_line_comment.ard src/test/resources/org/arend/commenter/fixtures/multi_line_block_uncomment.ard src/test/resources/org/arend/commenter/fixtures/multi_line_uncomment.ard src/test/resources/org/arend/commenter/fixtures/multi_line_block.ard src/test/resources/org/arend/commenter/fixtures/indented_single_line_comment_after.ard src/test/resources/org/arend/commenter/fixtures/multi_line_uncomment_after.ard src/test/resources/org/arend/commenter/fixtures/multi_line_block_uncomment_after.ard src/test/resources/org/arend/commenter/fixtures/single_line_uncomment_with_space.ard src/test/resources/org/arend/commenter/fixtures/multi_line_block_after.ard src/test/resources/org/arend/commenter/fixtures/single_line_block_after.ard src/test/resources/org/arend/commenter/fixtures/single_line_block.ard - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (2): LICENSE gradlew - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.png files (2): src/main/resources/icons/showNonImpl.png src/main/resources/icons/showFieldImpl.png - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.jar files (1): gradle/wrapper/gradle-wrapper.jar - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.bnf files (1): src/main/grammars/ArendParser.bnf - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.ft files (1): src/main/resources/fileTemplates/internal/Arend File.ard.ft - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.pom files (1): src/main/resources/starters/intellij-arend.pom - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.yaml files (1): .github/workflows/gradle.yml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -