├── .editorconfig ├── .github └── workflows │ └── gradle.yml ├── .gitignore ├── .jitpack.yml ├── ARCHITECTURE.md ├── LICENSE ├── README.md ├── api ├── build.gradle.kts └── src │ └── main │ └── java │ └── org │ └── arend │ └── ext │ ├── ArendExtension.java │ ├── ArendPrelude.java │ ├── DefaultArendExtension.java │ ├── DefinitionContributor.java │ ├── DefinitionProvider.java │ ├── FreeBindingsModifier.java │ ├── LiteralTypechecker.java │ ├── concrete │ ├── ConcreteAppBuilder.java │ ├── ConcreteClassElement.java │ ├── ConcreteClause.java │ ├── ConcreteFactory.java │ ├── ConcreteFunctionBody.java │ ├── ConcreteLetClause.java │ ├── ConcreteLevel.java │ ├── ConcreteParameter.java │ ├── ConcreteSourceNode.java │ ├── definition │ │ ├── ClassFieldKind.java │ │ ├── ConcreteConstructor.java │ │ ├── ConcreteConstructorClause.java │ │ ├── ConcreteDefinition.java │ │ ├── ConcreteLevelParameters.java │ │ └── FunctionKind.java │ ├── expr │ │ ├── ConcreteAppExpression.java │ │ ├── ConcreteArgument.java │ │ ├── ConcreteCaseArgument.java │ │ ├── ConcreteCaseExpression.java │ │ ├── ConcreteClassExtExpression.java │ │ ├── ConcreteClauses.java │ │ ├── ConcreteCoclause.java │ │ ├── ConcreteCoclauses.java │ │ ├── ConcreteExpression.java │ │ ├── ConcreteGoalExpression.java │ │ ├── ConcreteHoleExpression.java │ │ ├── ConcreteIncompleteExpression.java │ │ ├── ConcreteLamExpression.java │ │ ├── ConcreteLetExpression.java │ │ ├── ConcreteNumberExpression.java │ │ ├── ConcretePiExpression.java │ │ ├── ConcreteReferenceExpression.java │ │ ├── ConcreteSigmaExpression.java │ │ ├── ConcreteStringExpression.java │ │ ├── ConcreteThisExpression.java │ │ ├── ConcreteTupleExpression.java │ │ ├── ConcreteTypedExpression.java │ │ └── ConcreteUniverseExpression.java │ └── pattern │ │ ├── ConcreteConstructorPattern.java │ │ ├── ConcreteNumberPattern.java │ │ ├── ConcretePattern.java │ │ └── ConcreteReferencePattern.java │ ├── core │ ├── body │ │ ├── CoreBody.java │ │ ├── CoreElimBody.java │ │ ├── CoreElimClause.java │ │ ├── CoreExpressionPattern.java │ │ ├── CoreIntervalElim.java │ │ └── CorePattern.java │ ├── context │ │ ├── CoreBinding.java │ │ ├── CoreEvaluatingBinding.java │ │ ├── CoreInferenceVariable.java │ │ ├── CoreParameter.java │ │ └── CoreParameterBuilder.java │ ├── definition │ │ ├── CoreClassDefinition.java │ │ ├── CoreClassField.java │ │ ├── CoreConstructor.java │ │ ├── CoreDataDefinition.java │ │ ├── CoreDefinition.java │ │ └── CoreFunctionDefinition.java │ ├── expr │ │ ├── AbstractedExpression.java │ │ ├── BaseCoreExpressionVisitor.java │ │ ├── CoreAbsExpression.java │ │ ├── CoreAppExpression.java │ │ ├── CoreArrayExpression.java │ │ ├── CoreAtExpression.java │ │ ├── CoreBoxExpression.java │ │ ├── CoreCaseExpression.java │ │ ├── CoreClassCallExpression.java │ │ ├── CoreConCallExpression.java │ │ ├── CoreDataCallExpression.java │ │ ├── CoreDefCallExpression.java │ │ ├── CoreErrorExpression.java │ │ ├── CoreExpression.java │ │ ├── CoreExpressionVisitor.java │ │ ├── CoreFieldCallExpression.java │ │ ├── CoreFunCallExpression.java │ │ ├── CoreInferenceReferenceExpression.java │ │ ├── CoreIntegerExpression.java │ │ ├── CoreLamExpression.java │ │ ├── CoreLetExpression.java │ │ ├── CoreNewExpression.java │ │ ├── CorePEvalExpression.java │ │ ├── CorePathExpression.java │ │ ├── CorePiExpression.java │ │ ├── CoreProjExpression.java │ │ ├── CoreReferenceExpression.java │ │ ├── CoreSigmaExpression.java │ │ ├── CoreStringExpression.java │ │ ├── CoreTupleExpression.java │ │ ├── CoreTypeConstructorExpression.java │ │ ├── CoreTypeDestructorExpression.java │ │ ├── CoreUniverseExpression.java │ │ └── UncheckedExpression.java │ ├── level │ │ ├── CoreLevel.java │ │ ├── CoreLevels.java │ │ ├── CoreSort.java │ │ └── LevelSubstitution.java │ └── ops │ │ ├── CMP.java │ │ ├── ExpressionMapper.java │ │ ├── NormalizationMode.java │ │ └── SubstitutionPair.java │ ├── dependency │ ├── ArendDependencyProvider.java │ └── Dependency.java │ ├── error │ ├── ArgInferenceError.java │ ├── ArgumentExplicitnessError.java │ ├── ErrorReporter.java │ ├── FieldsImplementationError.java │ ├── GeneralError.java │ ├── IgnoredLevelsError.java │ ├── InstanceInferenceError.java │ ├── ListErrorReporter.java │ ├── LocalError.java │ ├── MetaException.java │ ├── MissingArgumentsError.java │ ├── MissingClausesError.java │ ├── NameResolverError.java │ ├── RedundantClauseError.java │ ├── RedundantCoclauseError.java │ ├── SourceInfo.java │ ├── SourceInfoReference.java │ ├── TypeMismatchError.java │ ├── TypecheckingError.java │ └── quickFix │ │ ├── ErrorQuickFix.java │ │ ├── LazyErrorQuickFix.java │ │ └── RemoveErrorQuickFix.java │ ├── instance │ ├── InstanceSearchParameters.java │ └── SubclassSearchParameters.java │ ├── module │ ├── LongName.java │ └── ModulePath.java │ ├── prettifier │ └── ExpressionPrettifier.java │ ├── prettyprinting │ ├── DefinitionRenamer.java │ ├── PrettyPrintable.java │ ├── PrettyPrinterConfig.java │ ├── PrettyPrinterConfigImpl.java │ ├── PrettyPrinterFlag.java │ └── doc │ │ ├── CachingDoc.java │ │ ├── Doc.java │ │ ├── DocFactory.java │ │ ├── DocStringBuilder.java │ │ ├── DocVisitor.java │ │ ├── HListDoc.java │ │ ├── HangDoc.java │ │ ├── LineDoc.java │ │ ├── LineDocVisitor.java │ │ ├── PPDoc.java │ │ ├── PatternDoc.java │ │ ├── ReferenceDoc.java │ │ ├── TermDoc.java │ │ ├── TermLineDoc.java │ │ ├── TermTextDoc.java │ │ ├── TextDoc.java │ │ └── VListDoc.java │ ├── reference │ ├── ArendRef.java │ ├── DataContainer.java │ ├── ExpressionResolver.java │ ├── MetaRef.java │ └── Precedence.java │ ├── serialization │ ├── ArendDeserializer.java │ ├── ArendSerializer.java │ ├── DeserializationException.java │ ├── SerializableKey.java │ └── SerializableKeyRegistry.java │ ├── typechecking │ ├── BaseContextData.java │ ├── BaseMetaDefinition.java │ ├── ContextData.java │ ├── ContextDataChecker.java │ ├── DefermentChecker.java │ ├── DeferredMetaDefinition.java │ ├── DefinitionListener.java │ ├── ExpressionTypechecker.java │ ├── GoalSolver.java │ ├── InteractiveGoalSolver.java │ ├── LevelProver.java │ ├── ListDefinitionListener.java │ ├── MetaDefinition.java │ ├── MetaResolver.java │ ├── PatternContextData.java │ └── TypedExpression.java │ ├── ui │ ├── ArendConsole.java │ ├── ArendQuery.java │ ├── ArendSession.java │ └── ArendUI.java │ ├── userData │ ├── Key.java │ └── UserDataHolder.java │ ├── util │ ├── Pair.java │ ├── StringUtils.java │ └── Wrapper.java │ └── variable │ ├── Variable.java │ ├── VariableImpl.java │ ├── VariableRenamer.java │ └── VariableRenamerFactory.java ├── base ├── .gitignore ├── build.gradle.kts └── src │ └── main │ └── java │ └── org │ └── arend │ ├── core │ ├── constructor │ ├── context │ │ ├── LinkList.java │ │ ├── Utils.java │ │ ├── binding │ │ │ ├── Binding.java │ │ │ ├── EvaluatingBinding.java │ │ │ ├── LevelVariable.java │ │ │ ├── NamedBinding.java │ │ │ ├── ParamLevelVariable.java │ │ │ ├── PersistentEvaluatingBinding.java │ │ │ ├── TypedBinding.java │ │ │ ├── TypedEvaluatingBinding.java │ │ │ └── inference │ │ │ │ ├── DerivedInferenceVariable.java │ │ │ │ ├── ExpressionInferenceVariable.java │ │ │ │ ├── FunctionInferenceVariable.java │ │ │ │ ├── InferenceLevelVariable.java │ │ │ │ ├── InferenceVariable.java │ │ │ │ ├── LambdaInferenceVariable.java │ │ │ │ ├── MetaInferenceVariable.java │ │ │ │ ├── TypeClassInferenceVariable.java │ │ │ │ └── UserInferenceVariable.java │ │ └── param │ │ │ ├── DependentLink.java │ │ │ ├── EmptyDependentLink.java │ │ │ ├── PropertyTypedDependentLink.java │ │ │ ├── SingleDependentLink.java │ │ │ ├── TypedDependentLink.java │ │ │ ├── TypedSingleDependentLink.java │ │ │ ├── UntypedDependentLink.java │ │ │ ├── UntypedSingleDependentLink.java │ │ │ └── UnusedIntervalDependentLink.java │ ├── definition │ │ ├── CallableDefinition.java │ │ ├── ClassDefinition.java │ │ ├── ClassField.java │ │ ├── CoerceData.java │ │ ├── Constructor.java │ │ ├── DConstructor.java │ │ ├── DataDefinition.java │ │ ├── Definition.java │ │ ├── DefinitionVisitor.java │ │ ├── Function.java │ │ ├── FunctionDefinition.java │ │ ├── MetaTopDefinition.java │ │ ├── ParametersLevel.java │ │ ├── ParametersLevels.java │ │ ├── TopLevelDefinition.java │ │ └── UniverseKind.java │ ├── elimtree │ │ ├── Body.java │ │ ├── BranchElimTree.java │ │ ├── BranchKey.java │ │ ├── ElimBody.java │ │ ├── ElimClause.java │ │ ├── ElimTree.java │ │ ├── IntervalElim.java │ │ └── LeafElimTree.java │ ├── expr │ │ ├── AbsExpression.java │ │ ├── AppExpression.java │ │ ├── ArrayExpression.java │ │ ├── AtExpression.java │ │ ├── BigIntegerExpression.java │ │ ├── BoxExpression.java │ │ ├── CaseExpression.java │ │ ├── ClassCallExpression.java │ │ ├── ConCallExpression.java │ │ ├── DataCallExpression.java │ │ ├── DefCallExpression.java │ │ ├── ErrorExpression.java │ │ ├── ErrorWithConcreteExpression.java │ │ ├── Expression.java │ │ ├── ExpressionFactory.java │ │ ├── FieldCallExpression.java │ │ ├── FunCallExpression.java │ │ ├── GoalErrorExpression.java │ │ ├── InferenceReferenceExpression.java │ │ ├── IntegerExpression.java │ │ ├── LamExpression.java │ │ ├── LetExpression.java │ │ ├── LeveledDefCallExpression.java │ │ ├── NewExpression.java │ │ ├── OfTypeExpression.java │ │ ├── PEvalExpression.java │ │ ├── PathExpression.java │ │ ├── PiExpression.java │ │ ├── ProjExpression.java │ │ ├── ReferenceExpression.java │ │ ├── SigmaExpression.java │ │ ├── SmallIntegerExpression.java │ │ ├── StringExpression.java │ │ ├── SubstExpression.java │ │ ├── TupleExpression.java │ │ ├── TypeConstructorExpression.java │ │ ├── TypeDestructorExpression.java │ │ ├── UniverseExpression.java │ │ ├── let │ │ │ ├── HaveClause.java │ │ │ ├── LetClause.java │ │ │ ├── LetClausePattern.java │ │ │ ├── NameLetClausePattern.java │ │ │ ├── RecordLetClausePattern.java │ │ │ ├── TupleLetClausePattern.java │ │ │ ├── TypedHaveClause.java │ │ │ └── TypedLetClause.java │ │ ├── type │ │ │ ├── Type.java │ │ │ └── TypeExpression.java │ │ └── visitor │ │ │ ├── BaseExpressionVisitor.java │ │ │ ├── CompareVisitor.java │ │ │ ├── ElimBindingVisitor.java │ │ │ ├── ExpressionTransformer.java │ │ │ ├── ExpressionVisitor.java │ │ │ ├── ExpressionVisitor2.java │ │ │ ├── FieldCallSubstVisitor.java │ │ │ ├── FieldsCollector.java │ │ │ ├── FindBindingVisitor.java │ │ │ ├── FindMissingBindingVisitor.java │ │ │ ├── FreeVariablesCollector.java │ │ │ ├── GetTypeVisitor.java │ │ │ ├── GoodThisParametersVisitor.java │ │ │ ├── NormalizeVisitor.java │ │ │ ├── NormalizingFindBindingVisitor.java │ │ │ ├── RecreateExpressionVisitor.java │ │ │ ├── SizeExpressionVisitor.java │ │ │ ├── StripVisitor.java │ │ │ └── VoidExpressionVisitor.java │ ├── pattern │ │ ├── BindingPattern.java │ │ ├── ConstructorExpressionPattern.java │ │ ├── ConstructorPattern.java │ │ ├── EmptyPattern.java │ │ ├── ExpressionPattern.java │ │ └── Pattern.java │ ├── sort │ │ ├── Level.java │ │ └── Sort.java │ └── subst │ │ ├── ExprSubstitution.java │ │ ├── InPlaceLevelSubstVisitor.java │ │ ├── InferenceVariableSolveVisitor.java │ │ ├── LevelPair.java │ │ ├── Levels.java │ │ ├── ListLevels.java │ │ ├── SimpleLevelSubstitution.java │ │ ├── SubstVisitor.java │ │ └── UnfoldVisitor.java │ ├── error │ ├── CountingErrorReporter.java │ ├── DummyErrorReporter.java │ ├── ParsingError.java │ └── SourcePosition.java │ ├── ext │ └── prettifier │ │ └── MergingExpressionPrettifier.java │ ├── extImpl │ ├── AbstractedDependentLinkType.java │ ├── AbstractedExpressionImpl.java │ ├── ArendDependencyProviderImpl.java │ ├── BaseContextDataImpl.java │ ├── ConcreteAppBuilderImpl.java │ ├── ConcreteFactoryImpl.java │ ├── ContextDataImpl.java │ ├── CoreParameterBuilderImpl.java │ ├── DefinitionContributorImpl.java │ ├── DefinitionProviderImpl.java │ ├── DefinitionRequester.java │ ├── Disableable.java │ ├── SerializableKeyRegistryImpl.java │ ├── UncheckedExpressionImpl.java │ ├── VariableRenamerFactoryImpl.java │ ├── definitionRenamer │ │ ├── CachingDefinitionRenamer.java │ │ ├── ConflictDefinitionRenamer.java │ │ ├── PatternContextDataImpl.java │ │ └── ScopeDefinitionRenamer.java │ ├── ui │ │ ├── BaseSession.java │ │ ├── DelegateQuery.java │ │ └── SimpleQuery.java │ └── userData │ │ └── UserDataHolderImpl.java │ ├── library │ ├── BaseLibrary.java │ ├── Library.java │ ├── LibraryConfig.java │ ├── LibraryDependency.java │ ├── LibraryHeader.java │ ├── LibraryManager.java │ ├── PersistableSourceLibrary.java │ ├── SourceLibrary.java │ ├── UnmodifiableSourceLibrary.java │ ├── classLoader │ │ ├── ClassLoaderDelegate.java │ │ ├── FileClassLoaderDelegate.java │ │ ├── MultiClassLoader.java │ │ └── ZipClassLoaderDelegate.java │ ├── error │ │ ├── LibraryError.java │ │ ├── LibraryIOError.java │ │ ├── ModuleInSeveralLibrariesError.java │ │ ├── MultipleLibraries.java │ │ └── PartialModuleError.java │ └── resolver │ │ └── LibraryResolver.java │ ├── module │ ├── ModuleLocation.java │ ├── ModuleRegistry.java │ ├── error │ │ ├── DeserializationError.java │ │ ├── ExceptionError.java │ │ └── ModuleNotFoundError.java │ ├── scopeprovider │ │ ├── CachingModuleScopeProvider.java │ │ ├── EmptyModuleScopeProvider.java │ │ ├── ModuleScopeProvider.java │ │ └── SimpleModuleScopeProvider.java │ └── serialization │ │ ├── CallTargetIndexProvider.java │ │ ├── CallTargetProvider.java │ │ ├── DefinitionDeserialization.java │ │ ├── DefinitionSerialization.java │ │ ├── ExpressionDeserialization.java │ │ ├── ExpressionSerialization.java │ │ ├── ModuleDeserialization.java │ │ ├── ModuleSerialization.java │ │ ├── SimpleCallTargetIndexProvider.java │ │ └── SimpleCallTargetProvider.java │ ├── naming │ ├── binOp │ │ ├── BinOpEngine.java │ │ ├── BinOpParser.java │ │ ├── ExpressionBinOpEngine.java │ │ ├── MetaBinOpParser.java │ │ └── PatternBinOpEngine.java │ ├── error │ │ ├── DuplicateNameError.java │ │ ├── DuplicateOpenedNameError.java │ │ ├── ExistingOpenedNameError.java │ │ ├── NotInScopeError.java │ │ ├── PrecedenceError.java │ │ └── ReferenceError.java │ ├── reference │ │ ├── AbstractedReferable.java │ │ ├── AliasReferable.java │ │ ├── ClassReferable.java │ │ ├── ClassReferableImpl.java │ │ ├── ConcreteClassFieldReferable.java │ │ ├── ConcreteClassReferable.java │ │ ├── ConcreteLocatedReferable.java │ │ ├── ConcreteResolvedClassReferable.java │ │ ├── CoreReferable.java │ │ ├── DataLevelReferable.java │ │ ├── DataLocalReferable.java │ │ ├── EmptyLocatedReferable.java │ │ ├── ErrorReference.java │ │ ├── FakeLocalReferable.java │ │ ├── FieldReferable.java │ │ ├── FieldReferableImpl.java │ │ ├── FullModuleReferable.java │ │ ├── GeneratedLocalReferable.java │ │ ├── GlobalReferable.java │ │ ├── GlobalReferableImpl.java │ │ ├── HiddenLocalReferable.java │ │ ├── InternalConcreteLocatedReferable.java │ │ ├── LevelDefinition.java │ │ ├── LevelReferable.java │ │ ├── LocalReferable.java │ │ ├── LocatedReferable.java │ │ ├── LocatedReferableImpl.java │ │ ├── LongUnresolvedReference.java │ │ ├── MetaReferable.java │ │ ├── ModuleReferable.java │ │ ├── NamedUnresolvedReference.java │ │ ├── Parameter.java │ │ ├── ParameterReferable.java │ │ ├── RedirectingReferable.java │ │ ├── RedirectingReferableImpl.java │ │ ├── Referable.java │ │ ├── Reference.java │ │ ├── SimpleInternalReferable.java │ │ ├── TCDefReferable.java │ │ ├── TCFieldReferable.java │ │ ├── TCLevelReferable.java │ │ ├── TCReferable.java │ │ ├── TypedLocatedReferable.java │ │ ├── TypedRedirectingReferable.java │ │ ├── TypedReferable.java │ │ ├── UnresolvedReference.java │ │ └── converter │ │ │ ├── IdReferableConverter.java │ │ │ └── ReferableConverter.java │ ├── renamer │ │ ├── MapReferableRenamer.java │ │ ├── ReferableRenamer.java │ │ ├── Renamer.java │ │ └── StringRenamer.java │ ├── resolving │ │ ├── ResolverListener.java │ │ └── visitor │ │ │ ├── DefinitionResolveNameVisitor.java │ │ │ ├── ExpressionResolveNameVisitor.java │ │ │ └── TypeClassReferenceExtractVisitor.java │ └── scope │ │ ├── CachingScope.java │ │ ├── ClassFieldImplScope.java │ │ ├── ConstructorFilteredScope.java │ │ ├── ConvertingScope.java │ │ ├── DelegateScope.java │ │ ├── EmptyScope.java │ │ ├── ImportedScope.java │ │ ├── LazyScope.java │ │ ├── LevelLexicalScope.java │ │ ├── LexicalScope.java │ │ ├── ListScope.java │ │ ├── MergeScope.java │ │ ├── NamespaceCommandNamespace.java │ │ ├── PrivateFilteredScope.java │ │ ├── Scope.java │ │ ├── ScopeFactory.java │ │ ├── SimpleScope.java │ │ ├── SingletonScope.java │ │ └── local │ │ ├── ElimScope.java │ │ ├── LetScope.java │ │ ├── LocalListScope.java │ │ ├── PatternScope.java │ │ └── TelescopeScope.java │ ├── prelude │ ├── Prelude.java │ ├── PreludeLibrary.java │ ├── PreludeResourceLibrary.java │ ├── PreludeResourceSource.java │ └── PreludeTypecheckingLibrary.java │ ├── repl │ ├── CodeParsingHandler.java │ ├── CommandHandler.java │ ├── QuitReplException.java │ ├── Repl.java │ ├── ReplHandler.java │ ├── ReplScope.java │ └── action │ │ ├── AliasableCommand.java │ │ ├── DirectoryArgumentCommand.java │ │ ├── ExpressionArgumentCommand.java │ │ ├── FileArgumentCommand.java │ │ ├── NormalizeCommand.java │ │ ├── PrettyPrintFlagCommand.java │ │ ├── PrintCommand.java │ │ ├── QuitCommand.java │ │ ├── ReplCommand.java │ │ ├── ResetContextCommand.java │ │ ├── ShowContextCommand.java │ │ ├── ShowTypeCommand.java │ │ └── SizeCommand.java │ ├── source │ ├── BinarySource.java │ ├── FileBinarySource.java │ ├── GZIPStreamBinarySource.java │ ├── PersistableBinarySource.java │ ├── Source.java │ ├── SourceLoader.java │ ├── StreamBinarySource.java │ ├── ZipFileBinarySource.java │ └── error │ │ ├── LocationError.java │ │ └── PersistingError.java │ ├── term │ ├── ChildNamespaceCommand.java │ ├── Fixity.java │ ├── NameRenaming.java │ ├── NamespaceCommand.java │ ├── abs │ │ ├── Abstract.java │ │ ├── AbstractDefinitionVisitor.java │ │ ├── AbstractExpressionError.java │ │ ├── AbstractExpressionVisitor.java │ │ ├── AbstractLevelExpressionVisitor.java │ │ ├── AbstractParameterPattern.java │ │ ├── BaseAbstractExpressionVisitor.java │ │ ├── ConcreteBuilder.java │ │ └── IncompleteExpressionError.java │ ├── concrete │ │ ├── BaseConcreteExpressionVisitor.java │ │ ├── Concrete.java │ │ ├── ConcreteCompareVisitor.java │ │ ├── ConcreteDefinitionVisitor.java │ │ ├── ConcreteExpressionFactory.java │ │ ├── ConcreteExpressionVisitor.java │ │ ├── ConcreteLevelExpressionVisitor.java │ │ ├── ConcreteReferableDefinitionVisitor.java │ │ ├── ConcreteResolvableDefinitionVisitor.java │ │ ├── DefinableMetaDefinition.java │ │ ├── FindLevelVariablesVisitor.java │ │ ├── FreeReferablesVisitor.java │ │ ├── LocalFreeReferableVisitor.java │ │ ├── ReplaceDataVisitor.java │ │ ├── SearchConcreteVisitor.java │ │ └── SubstConcreteVisitor.java │ ├── group │ │ ├── AccessModifier.java │ │ ├── ChildGroup.java │ │ ├── ClassGroup.java │ │ ├── DataGroup.java │ │ ├── EmptyGroup.java │ │ ├── FileGroup.java │ │ ├── Group.java │ │ ├── Statement.java │ │ └── StaticGroup.java │ └── prettyprint │ │ ├── ArgumentMappingIterator.java │ │ ├── BiConcreteVisitor.java │ │ ├── CollectFreeVariablesVisitor.java │ │ ├── DefinitionRenamerConcreteVisitor.java │ │ ├── FreeVariableCollectorConcrete.java │ │ ├── LocalExpressionPrettifier.java │ │ ├── MinimizedRepresentation.java │ │ ├── PrettyPrintVisitor.java │ │ ├── PrettyPrintWithSubexprVisitor.java │ │ ├── PrettyPrinterConfigWithRenamer.java │ │ ├── TermWithSubtermDoc.java │ │ ├── ToAbstractVisitor.java │ │ ├── ToAbstractWithSubexprVisitor.java │ │ └── VariableTracker.java │ ├── typechecking │ ├── ArendExtensionProvider.java │ ├── LevelContext.java │ ├── LibraryArendExtensionProvider.java │ ├── TypecheckedReporter.java │ ├── TypecheckerState.java │ ├── TypecheckingContext.java │ ├── UseTypechecking.java │ ├── computation │ │ ├── BooleanCancellationIndicator.java │ │ ├── BooleanComputationRunner.java │ │ ├── CancellationIndicator.java │ │ ├── ComputationRunner.java │ │ ├── DefinitionCancellationIndicator.java │ │ ├── ThreadCancellationIndicator.java │ │ └── UnstoppableCancellationIndicator.java │ ├── covariance │ │ ├── CovarianceChecker.java │ │ ├── ParametersCovarianceChecker.java │ │ ├── RecursiveDataChecker.java │ │ ├── UniverseInParametersChecker.java │ │ └── UniverseKindChecker.java │ ├── dfs │ │ ├── ClassDFS.java │ │ ├── DFS.java │ │ ├── FieldDFS.java │ │ └── MapDFS.java │ ├── doubleChecker │ │ ├── CoreDefinitionChecker.java │ │ ├── CoreException.java │ │ ├── CoreExpressionChecker.java │ │ └── CoreModuleChecker.java │ ├── error │ │ ├── CycleError.java │ │ ├── ErrorReporterCounter.java │ │ ├── TerminationCheckError.java │ │ └── local │ │ │ ├── CannotFindConstructorError.java │ │ │ ├── CertainTypecheckingError.java │ │ │ ├── CoerceClashError.java │ │ │ ├── CoerceCycleError.java │ │ │ ├── ConditionsError.java │ │ │ ├── ConstantSolveLevelEquationError.java │ │ │ ├── ConstructorReferenceError.java │ │ │ ├── CoreErrorWrapper.java │ │ │ ├── DataTypeNotEmptyError.java │ │ │ ├── DataUniverseError.java │ │ │ ├── ElimSubstError.java │ │ │ ├── ExpectedConstructorError.java │ │ │ ├── FieldCycleError.java │ │ │ ├── FieldDependencyError.java │ │ │ ├── FieldTypeParameterError.java │ │ │ ├── FunctionWithoutBodyError.java │ │ │ ├── GoalDataHolder.java │ │ │ ├── GoalError.java │ │ │ ├── HasErrors.java │ │ │ ├── HigherConstructorMatchingError.java │ │ │ ├── IdpPatternError.java │ │ │ ├── ImplicitLambdaError.java │ │ │ ├── ImpossibleEliminationError.java │ │ │ ├── IncorrectImplementationError.java │ │ │ ├── IncorrectReferenceError.java │ │ │ ├── LevelMismatchError.java │ │ │ ├── LocalErrorReporter.java │ │ │ ├── NonPositiveDataError.java │ │ │ ├── NotEnoughPatternsError.java │ │ │ ├── NotEqualExpressionsError.java │ │ │ ├── NotPiType.java │ │ │ ├── PathEndpointMismatchError.java │ │ │ ├── PatternUnificationError.java │ │ │ ├── ReferenceTypeError.java │ │ │ ├── SolveEquationError.java │ │ │ ├── SolveEquationsError.java │ │ │ ├── SolveLevelEquationsError.java │ │ │ ├── SquashedDataError.java │ │ │ ├── SuperLevelsMismatchError.java │ │ │ ├── TruncatedDataError.java │ │ │ ├── TypeComputationError.java │ │ │ ├── TypeFromFieldError.java │ │ │ ├── TypeMismatchWithSubexprError.java │ │ │ ├── WrongReferable.java │ │ │ └── inference │ │ │ ├── FunctionArgInferenceError.java │ │ │ ├── LambdaInferenceError.java │ │ │ └── RecursiveInstanceInferenceError.java │ ├── implicitargs │ │ ├── ImplicitArgsInference.java │ │ ├── StdImplicitArgsInference.java │ │ └── equations │ │ │ ├── DummyEquations.java │ │ │ ├── Equation.java │ │ │ ├── Equations.java │ │ │ ├── InferenceVariableListener.java │ │ │ ├── LevelEquation.java │ │ │ ├── LevelEquations.java │ │ │ ├── LevelEquationsSolver.java │ │ │ ├── LevelEquationsWrapper.java │ │ │ └── TwoStageEquations.java │ ├── instance │ │ ├── pool │ │ │ ├── GlobalInstancePool.java │ │ │ ├── InstancePool.java │ │ │ ├── LocalInstancePool.java │ │ │ ├── RecursiveInstanceData.java │ │ │ └── RecursiveInstanceHoleExpression.java │ │ └── provider │ │ │ ├── EmptyInstanceProvider.java │ │ │ ├── InstanceProvider.java │ │ │ ├── InstanceProviderSet.java │ │ │ └── SimpleInstanceProvider.java │ ├── order │ │ ├── DefinitionComparator.java │ │ ├── MapTarjanSCC.java │ │ ├── Ordering.java │ │ ├── PartialComparator.java │ │ ├── TarjanSCC.java │ │ ├── dependency │ │ │ ├── DependencyCollector.java │ │ │ ├── DependencyListener.java │ │ │ ├── DummyDependencyListener.java │ │ │ └── MetaDependencyCollector.java │ │ └── listener │ │ │ ├── CollectingOrderingListener.java │ │ │ ├── OrderingListener.java │ │ │ └── TypecheckingOrderingListener.java │ ├── patternmatching │ │ ├── Condition.java │ │ ├── ConditionsChecking.java │ │ ├── ElimTypechecking.java │ │ ├── ExpressionMatcher.java │ │ ├── ExtElimClause.java │ │ ├── PatternTypechecking.java │ │ ├── SubstitutionData.java │ │ └── Util.java │ ├── provider │ │ ├── ConcreteProvider.java │ │ └── EmptyConcreteProvider.java │ ├── result │ │ ├── DefCallResult.java │ │ ├── TResult.java │ │ └── TypecheckingResult.java │ ├── subexpr │ │ ├── CorrespondedSubDefVisitor.java │ │ ├── CorrespondedSubExprVisitor.java │ │ ├── FindBinding.java │ │ └── SubExprError.java │ ├── termination │ │ ├── BaseCallGraph.java │ │ ├── BaseCallMatrix.java │ │ ├── CallMatrix.java │ │ ├── CollectCallVisitor.java │ │ ├── CompositeCallMatrix.java │ │ ├── DefinitionCallGraph.java │ │ └── RecursiveBehavior.java │ └── visitor │ │ ├── BaseDefinitionTypechecker.java │ │ ├── CheckForUniversesVisitor.java │ │ ├── CheckTypeVisitor.java │ │ ├── ClassFieldChecker.java │ │ ├── CollectDefCallsVisitor.java │ │ ├── DefinitionTypechecker.java │ │ ├── DesugarVisitor.java │ │ ├── DumbTypechecker.java │ │ ├── FindDefCallVisitor.java │ │ ├── FindLevelParameters.java │ │ ├── FindSubexpressionVisitor.java │ │ ├── FixLevelParameters.java │ │ ├── FreeVariablesClassifier.java │ │ ├── MinimizeLevelVisitor.java │ │ ├── ReplaceVarConcreteVisitor.java │ │ ├── SearchVisitor.java │ │ ├── SyntacticDesugarVisitor.java │ │ ├── VoidConcreteVisitor.java │ │ ├── WhereVarsCollector.java │ │ └── WhereVarsFixVisitor.java │ └── util │ ├── Arend.java │ ├── ArendExpr.java │ ├── ComputationInterruptedException.java │ ├── Decision.java │ ├── FileUtils.java │ ├── FullName.java │ ├── GraphClosure.java │ ├── Range.java │ ├── SingletonList.java │ ├── StringEscapeUtils.java │ ├── StringFormat.java │ ├── Version.java │ └── VersionRange.java ├── cli ├── build.gradle.kts └── src │ └── main │ └── java │ └── org │ └── arend │ └── frontend │ ├── BaseCliFrontend.java │ ├── ConcreteReferableProvider.java │ ├── ConsoleMain.java │ ├── FileLibraryResolver.java │ ├── PositionComparator.java │ ├── PreludeBinaryGenerator.java │ ├── group │ └── SimpleNamespaceCommand.java │ ├── library │ ├── FileLoadableHeaderLibrary.java │ ├── FileSourceLibrary.java │ ├── PreludeFileLibrary.java │ ├── TimedLibraryManager.java │ └── ZipSourceLibrary.java │ ├── parser │ ├── BuildVisitor.java │ ├── ParseException.java │ ├── ParserError.java │ ├── Position.java │ └── ReporterErrorListener.java │ ├── reference │ └── ParsedLocalReferable.java │ ├── repl │ ├── CommonCliRepl.java │ ├── PlainCliRepl.java │ ├── ReplConfig.java │ ├── action │ │ ├── CdCommand.java │ │ ├── CliReplCommand.java │ │ ├── ListLoadedModulesAction.java │ │ ├── LoadLibraryCommand.java │ │ ├── LoadModuleCommand.java │ │ ├── PwdCommand.java │ │ └── UnloadModuleCommand.java │ └── jline │ │ ├── ArendReplParser.java │ │ ├── CommandsCompleter.java │ │ ├── Completers.java │ │ ├── ImportCompleter.java │ │ ├── JLineCliRepl.java │ │ ├── KeywordCompleter.java │ │ ├── ScopeCompleter.java │ │ └── SpecialCommandCompleter.java │ ├── source │ ├── FileRawSource.java │ ├── StreamRawSource.java │ └── ZipFileRawSource.java │ └── ui │ ├── ArendCliUI.java │ └── CliSession.java ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── lib └── Prelude.ard ├── parser ├── .gitignore └── build.gradle.kts ├── proto ├── .gitignore ├── build.gradle.kts └── src │ └── main │ └── proto │ ├── Definition.proto │ ├── Expression.proto │ ├── Level.proto │ └── Module.proto ├── settings.gradle.kts └── src └── test └── java └── org └── arend ├── ArendTestCase.java ├── ExpressionFactory.java ├── Matchers.java ├── classes ├── ClassParametersTest.java ├── DefaultImplTest.java ├── DynamicTest.java ├── ExtensionsTest.java ├── ImplementTest.java ├── LocalThisTest.java ├── NewInstanceExtensionTest.java ├── OverrideTest.java ├── RecordsTest.java ├── SuperClassImplementTest.java └── ThisTest.java ├── library ├── CachingTest.java ├── LibraryLoadingTest.java ├── LibraryTestCase.java ├── MemoryBinarySource.java ├── MemoryLibrary.java ├── MemoryRawSource.java └── NameResolutionOnLoadTest.java ├── naming ├── AccessModifiersTest.java ├── AliasTest.java ├── ClassesResolveTest.java ├── ConcreteComparatorTest.java ├── DefinableMetaTest.java ├── FieldsTest.java ├── MetaResolverTest.java ├── NameResolverTest.java ├── NameResolverTestCase.java ├── ParserTest.java ├── ParserTestCase.java ├── PatternTest.java └── PrettyPrintingParserTest.java ├── term ├── FinTest.java ├── SigmaProjTest.java └── expr │ ├── GetTypeTest.java │ └── visitor │ ├── BuiltinNormalizationTest.java │ ├── ComparisonTest.java │ ├── MinimizationTest.java │ ├── NormalizationTest.java │ ├── PrettyPrintingTest.java │ └── SubstTest.java └── typechecking ├── AppHoleTest.java ├── CoerceTest.java ├── EtaEquivalenceTest.java ├── EvaluationTest.java ├── ExpressionTest.java ├── InfixPostfixTest.java ├── PathsTest.java ├── PreludeTest.java ├── RecursiveTest.java ├── StrictPropTest.java ├── TestLocalErrorReporter.java ├── TruncationsTest.java ├── TypeCheckingTest.java ├── TypeCheckingTestCase.java ├── UseLevelTest.java ├── VarsTest.java ├── constructions ├── Application.java ├── ArrayTest.java ├── BoxTest.java ├── CaseTest.java ├── DefCallTest.java ├── IntTest.java ├── Lambda.java ├── LetTest.java ├── Pi.java ├── SigmaTest.java ├── Typed.java ├── Universe.java └── UniverseLevels.java ├── copatternmatching └── Functions.java ├── definition ├── AxiomTest.java ├── ClassFieldPropertyTest.java ├── CoClauseFunctionTest.java ├── ConstructorTest.java ├── DataIndicesTest.java ├── DataTest.java ├── DefinableMetaTest.java ├── DefinitionTest.java ├── HITsTest.java ├── LemmaTest.java ├── SFuncTest.java └── TypeTest.java ├── implicitargs ├── DeferredTest.java ├── ImplicitArgumentsTest.java └── InferenceTest.java ├── levels ├── ClassLevelsTest.java ├── DataPolyTest.java ├── FunctionPolyTest.java ├── InferLevelTest.java ├── LevelParametersTest.java └── LevelsDefinitionTest.java ├── patternmatching ├── AsPatternsTest.java ├── ConditionsTest.java ├── CoverageTest.java ├── DisjointConstructorsTest.java ├── ElimTest.java ├── IdpTest.java ├── IntervalTest.java ├── LamPatternTest.java ├── PatternTest.java ├── ProductsTest.java └── TruncatedElimTest.java ├── subexpr ├── CorrespondedSubDefTest.java ├── CorrespondedSubExprTest.java ├── FindBindingTest.java └── SubExprBugsTest.java ├── termination ├── TerminationCheckTest.java ├── TestCallGraph.java ├── TestCallMatrix.java └── TestVertex.java └── typeclass ├── RecursiveInstances.java ├── ReverseInference.java ├── TypeClassesClassifiers.java ├── TypeClassesGlobalTest.java ├── TypeClassesLocal.java ├── TypeClassesNamespaces.java └── TypeClassesTypes.java /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/workflows/gradle.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/.github/workflows/gradle.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/.gitignore -------------------------------------------------------------------------------- /.jitpack.yml: -------------------------------------------------------------------------------- 1 | jdk: openjdk11 -------------------------------------------------------------------------------- /ARCHITECTURE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/ARCHITECTURE.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/README.md -------------------------------------------------------------------------------- /api/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/build.gradle.kts -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/ArendExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/ArendExtension.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/ArendPrelude.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/ArendPrelude.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/DefaultArendExtension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/DefaultArendExtension.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/DefinitionContributor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/DefinitionContributor.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/DefinitionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/DefinitionProvider.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/FreeBindingsModifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/FreeBindingsModifier.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/LiteralTypechecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/LiteralTypechecker.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteAppBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteAppBuilder.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteClassElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteClassElement.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteClause.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteFactory.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteFunctionBody.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteFunctionBody.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteLetClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteLetClause.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteLevel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteLevel.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteParameter.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/ConcreteSourceNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/ConcreteSourceNode.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/definition/ClassFieldKind.java: -------------------------------------------------------------------------------- 1 | package org.arend.ext.concrete.definition; 2 | 3 | public enum ClassFieldKind { FIELD, PROPERTY, ANY } 4 | -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/definition/FunctionKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/definition/FunctionKind.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteAppExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteAppExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteArgument.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseArgument.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseArgument.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteCaseExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteClauses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteClauses.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclause.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclauses.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteCoclauses.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteGoalExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteGoalExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteHoleExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteHoleExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteLamExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteLamExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteLetExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteLetExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcretePiExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcretePiExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/expr/ConcreteThisExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/expr/ConcreteThisExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/concrete/pattern/ConcretePattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/concrete/pattern/ConcretePattern.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/body/CoreBody.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/body/CoreBody.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/body/CoreElimBody.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/body/CoreElimBody.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/body/CoreElimClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/body/CoreElimClause.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/body/CoreExpressionPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/body/CoreExpressionPattern.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/body/CoreIntervalElim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/body/CoreIntervalElim.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/body/CorePattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/body/CorePattern.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/context/CoreBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/context/CoreBinding.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/context/CoreEvaluatingBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/context/CoreEvaluatingBinding.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/context/CoreInferenceVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/context/CoreInferenceVariable.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/context/CoreParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/context/CoreParameter.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/context/CoreParameterBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/context/CoreParameterBuilder.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/definition/CoreClassDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/definition/CoreClassDefinition.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/definition/CoreClassField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/definition/CoreClassField.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/definition/CoreConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/definition/CoreConstructor.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/definition/CoreDataDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/definition/CoreDataDefinition.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/definition/CoreDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/definition/CoreDefinition.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/AbstractedExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/AbstractedExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/BaseCoreExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/BaseCoreExpressionVisitor.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreAbsExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreAbsExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreAppExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreAppExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreArrayExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreArrayExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreAtExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreAtExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreBoxExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreBoxExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreCaseExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreCaseExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreClassCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreClassCallExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreConCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreConCallExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreDataCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreDataCallExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreDefCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreDefCallExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreErrorExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreErrorExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreExpressionVisitor.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreFieldCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreFieldCallExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreFunCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreFunCallExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreIntegerExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreIntegerExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreLamExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreLamExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreLetExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreLetExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreNewExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreNewExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CorePEvalExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CorePEvalExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CorePathExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CorePathExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CorePiExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CorePiExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreProjExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreProjExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreReferenceExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreReferenceExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreSigmaExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreSigmaExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreStringExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreStringExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreTupleExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreTupleExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/CoreUniverseExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/CoreUniverseExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/expr/UncheckedExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/expr/UncheckedExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/level/CoreLevel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/level/CoreLevel.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/level/CoreLevels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/level/CoreLevels.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/level/CoreSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/level/CoreSort.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/level/LevelSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/level/LevelSubstitution.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/ops/CMP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/ops/CMP.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/ops/ExpressionMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/ops/ExpressionMapper.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/ops/NormalizationMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/ops/NormalizationMode.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/core/ops/SubstitutionPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/core/ops/SubstitutionPair.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/dependency/ArendDependencyProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/dependency/ArendDependencyProvider.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/dependency/Dependency.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/dependency/Dependency.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/ArgInferenceError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/ArgInferenceError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/ArgumentExplicitnessError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/ArgumentExplicitnessError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/ErrorReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/ErrorReporter.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/FieldsImplementationError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/FieldsImplementationError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/GeneralError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/GeneralError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/IgnoredLevelsError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/IgnoredLevelsError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/InstanceInferenceError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/InstanceInferenceError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/ListErrorReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/ListErrorReporter.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/LocalError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/LocalError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/MetaException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/MetaException.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/MissingArgumentsError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/MissingArgumentsError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/MissingClausesError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/MissingClausesError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/NameResolverError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/NameResolverError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/RedundantClauseError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/RedundantClauseError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/RedundantCoclauseError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/RedundantCoclauseError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/SourceInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/SourceInfo.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/SourceInfoReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/SourceInfoReference.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/TypeMismatchError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/TypeMismatchError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/TypecheckingError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/TypecheckingError.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/quickFix/ErrorQuickFix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/quickFix/ErrorQuickFix.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/quickFix/LazyErrorQuickFix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/quickFix/LazyErrorQuickFix.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/error/quickFix/RemoveErrorQuickFix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/error/quickFix/RemoveErrorQuickFix.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/instance/InstanceSearchParameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/instance/InstanceSearchParameters.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/instance/SubclassSearchParameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/instance/SubclassSearchParameters.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/module/LongName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/module/LongName.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/module/ModulePath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/module/ModulePath.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettifier/ExpressionPrettifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettifier/ExpressionPrettifier.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/DefinitionRenamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/DefinitionRenamer.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/PrettyPrintable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/PrettyPrintable.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterConfig.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterFlag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/PrettyPrinterFlag.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/CachingDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/CachingDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/Doc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/Doc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/DocFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/DocFactory.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/DocStringBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/DocStringBuilder.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/DocVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/DocVisitor.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/HListDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/HListDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/HangDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/HangDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/LineDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/LineDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/LineDocVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/LineDocVisitor.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/PPDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/PPDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/PatternDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/ReferenceDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/ReferenceDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/TermDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/TermDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/TermLineDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/TermTextDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/TermTextDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/TextDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/TextDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/prettyprinting/doc/VListDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/prettyprinting/doc/VListDoc.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/reference/ArendRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/reference/ArendRef.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/reference/DataContainer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/reference/DataContainer.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/reference/ExpressionResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/reference/ExpressionResolver.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/reference/MetaRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/reference/MetaRef.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/reference/Precedence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/reference/Precedence.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/serialization/ArendDeserializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/serialization/ArendDeserializer.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/serialization/ArendSerializer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/serialization/ArendSerializer.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/serialization/SerializableKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/serialization/SerializableKey.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/BaseContextData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/BaseContextData.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/BaseMetaDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/BaseMetaDefinition.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/ContextData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/ContextData.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/ContextDataChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/ContextDataChecker.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/DefermentChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/DefermentChecker.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/DeferredMetaDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/DeferredMetaDefinition.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/DefinitionListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/DefinitionListener.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/ExpressionTypechecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/ExpressionTypechecker.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/GoalSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/GoalSolver.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/InteractiveGoalSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/InteractiveGoalSolver.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/LevelProver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/LevelProver.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/ListDefinitionListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/ListDefinitionListener.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/MetaDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/MetaDefinition.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/MetaResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/MetaResolver.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/PatternContextData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/PatternContextData.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/typechecking/TypedExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/typechecking/TypedExpression.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/ui/ArendConsole.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/ui/ArendConsole.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/ui/ArendQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/ui/ArendQuery.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/ui/ArendSession.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/ui/ArendSession.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/ui/ArendUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/ui/ArendUI.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/userData/Key.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/userData/Key.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/userData/UserDataHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/userData/UserDataHolder.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/util/Pair.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/util/StringUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/util/StringUtils.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/util/Wrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/util/Wrapper.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/variable/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/variable/Variable.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/variable/VariableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/variable/VariableImpl.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/variable/VariableRenamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/variable/VariableRenamer.java -------------------------------------------------------------------------------- /api/src/main/java/org/arend/ext/variable/VariableRenamerFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/api/src/main/java/org/arend/ext/variable/VariableRenamerFactory.java -------------------------------------------------------------------------------- /base/.gitignore: -------------------------------------------------------------------------------- 1 | src/main/gen -------------------------------------------------------------------------------- /base/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/build.gradle.kts -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/constructor/ArrayConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/constructor/ArrayConstructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/constructor/ClassConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/constructor/ClassConstructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/constructor/IdpConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/constructor/IdpConstructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/constructor/SingleConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/constructor/SingleConstructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/constructor/TupleConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/constructor/TupleConstructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/LinkList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/LinkList.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/Utils.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/binding/Binding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/binding/Binding.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/binding/EvaluatingBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/binding/EvaluatingBinding.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/binding/LevelVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/binding/LevelVariable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/binding/NamedBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/binding/NamedBinding.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/binding/ParamLevelVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/binding/ParamLevelVariable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/binding/TypedBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/binding/TypedBinding.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/param/DependentLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/param/DependentLink.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/param/EmptyDependentLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/param/EmptyDependentLink.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/param/SingleDependentLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/param/SingleDependentLink.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/param/TypedDependentLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/param/TypedDependentLink.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/context/param/UntypedDependentLink.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/CallableDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/CallableDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/ClassDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/ClassDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/ClassField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/ClassField.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/CoerceData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/CoerceData.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/Constructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/Constructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/DConstructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/DConstructor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/DataDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/DataDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/Definition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/Definition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/DefinitionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/DefinitionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/Function.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/Function.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/FunctionDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/FunctionDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/MetaTopDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/MetaTopDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/ParametersLevel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/ParametersLevel.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/ParametersLevels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/ParametersLevels.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/TopLevelDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/TopLevelDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/definition/UniverseKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/definition/UniverseKind.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/Body.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/Body.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/BranchElimTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/BranchElimTree.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/BranchKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/BranchKey.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/ElimBody.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/ElimBody.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/ElimClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/ElimClause.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/ElimTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/ElimTree.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/IntervalElim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/IntervalElim.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/elimtree/LeafElimTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/elimtree/LeafElimTree.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/AbsExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/AbsExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/AppExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/AppExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ArrayExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ArrayExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/AtExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/AtExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/BigIntegerExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/BigIntegerExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/BoxExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/BoxExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/CaseExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/CaseExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ClassCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ClassCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ConCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ConCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/DataCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/DataCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/DefCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/DefCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ErrorExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ErrorExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ErrorWithConcreteExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ErrorWithConcreteExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/Expression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/Expression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ExpressionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ExpressionFactory.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/FieldCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/FieldCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/FunCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/FunCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/GoalErrorExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/GoalErrorExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/InferenceReferenceExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/InferenceReferenceExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/IntegerExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/IntegerExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/LamExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/LamExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/LetExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/LetExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/LeveledDefCallExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/LeveledDefCallExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/NewExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/NewExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/OfTypeExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/OfTypeExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/PEvalExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/PEvalExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/PathExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/PathExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/PiExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/PiExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ProjExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ProjExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/ReferenceExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/ReferenceExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/SigmaExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/SigmaExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/SmallIntegerExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/StringExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/StringExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/SubstExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/SubstExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/TupleExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/TupleExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/TypeConstructorExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/TypeDestructorExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/TypeDestructorExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/UniverseExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/UniverseExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/HaveClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/HaveClause.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/LetClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/LetClause.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/LetClausePattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/LetClausePattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/NameLetClausePattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/NameLetClausePattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/RecordLetClausePattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/RecordLetClausePattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/TupleLetClausePattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/TupleLetClausePattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/TypedHaveClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/TypedHaveClause.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/let/TypedLetClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/let/TypedLetClause.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/type/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/type/Type.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/type/TypeExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/type/TypeExpression.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/BaseExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/BaseExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/CompareVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/ElimBindingVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/ExpressionTransformer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/ExpressionTransformer.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/ExpressionVisitor2.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/FieldCallSubstVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/FieldCallSubstVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/FieldsCollector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/FieldsCollector.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/FindBindingVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/FindBindingVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/GetTypeVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/NormalizeVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/SizeExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/SizeExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/StripVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/expr/visitor/VoidExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/expr/visitor/VoidExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/pattern/BindingPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/pattern/BindingPattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/pattern/ConstructorPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/pattern/ConstructorPattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/pattern/EmptyPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/pattern/EmptyPattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/pattern/ExpressionPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/pattern/ExpressionPattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/pattern/Pattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/pattern/Pattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/sort/Level.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/sort/Level.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/sort/Sort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/sort/Sort.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/ExprSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/ExprSubstitution.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/InPlaceLevelSubstVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/InPlaceLevelSubstVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/LevelPair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/LevelPair.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/Levels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/Levels.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/ListLevels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/ListLevels.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/SimpleLevelSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/SimpleLevelSubstitution.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/SubstVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/SubstVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/core/subst/UnfoldVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/core/subst/UnfoldVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/error/CountingErrorReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/error/CountingErrorReporter.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/error/DummyErrorReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/error/DummyErrorReporter.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/error/ParsingError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/error/ParsingError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/error/SourcePosition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/error/SourcePosition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/AbstractedDependentLinkType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/AbstractedDependentLinkType.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/AbstractedExpressionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/AbstractedExpressionImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ArendDependencyProviderImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ArendDependencyProviderImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/BaseContextDataImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/BaseContextDataImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ConcreteAppBuilderImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ConcreteAppBuilderImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ConcreteFactoryImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ContextDataImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ContextDataImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/CoreParameterBuilderImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/CoreParameterBuilderImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/DefinitionContributorImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/DefinitionContributorImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/DefinitionProviderImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/DefinitionProviderImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/DefinitionRequester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/DefinitionRequester.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/Disableable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/Disableable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/SerializableKeyRegistryImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/SerializableKeyRegistryImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/UncheckedExpressionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/UncheckedExpressionImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/VariableRenamerFactoryImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/VariableRenamerFactoryImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ui/BaseSession.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ui/BaseSession.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ui/DelegateQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ui/DelegateQuery.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/ui/SimpleQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/ui/SimpleQuery.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/extImpl/userData/UserDataHolderImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/extImpl/userData/UserDataHolderImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/BaseLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/BaseLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/Library.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/Library.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/LibraryConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/LibraryConfig.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/LibraryDependency.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/LibraryDependency.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/LibraryHeader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/LibraryHeader.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/LibraryManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/LibraryManager.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/PersistableSourceLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/PersistableSourceLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/SourceLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/SourceLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/UnmodifiableSourceLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/UnmodifiableSourceLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/classLoader/ClassLoaderDelegate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/classLoader/ClassLoaderDelegate.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/classLoader/MultiClassLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/classLoader/MultiClassLoader.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/error/LibraryError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/error/LibraryError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/error/LibraryIOError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/error/LibraryIOError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/error/MultipleLibraries.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/error/MultipleLibraries.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/error/PartialModuleError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/error/PartialModuleError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/library/resolver/LibraryResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/library/resolver/LibraryResolver.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/module/ModuleLocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/module/ModuleLocation.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/module/ModuleRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/module/ModuleRegistry.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/module/error/DeserializationError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/module/error/DeserializationError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/module/error/ExceptionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/module/error/ExceptionError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/module/error/ModuleNotFoundError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/module/error/ModuleNotFoundError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/module/serialization/CallTargetProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/module/serialization/CallTargetProvider.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/binOp/BinOpEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/binOp/BinOpEngine.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/binOp/BinOpParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/binOp/BinOpParser.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/binOp/ExpressionBinOpEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/binOp/ExpressionBinOpEngine.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/binOp/MetaBinOpParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/binOp/MetaBinOpParser.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/binOp/PatternBinOpEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/binOp/PatternBinOpEngine.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/error/DuplicateNameError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/error/DuplicateNameError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/error/DuplicateOpenedNameError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/error/DuplicateOpenedNameError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/error/ExistingOpenedNameError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/error/ExistingOpenedNameError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/error/NotInScopeError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/error/NotInScopeError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/error/PrecedenceError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/error/PrecedenceError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/error/ReferenceError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/error/ReferenceError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/AbstractedReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/AbstractedReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/AliasReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/AliasReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/ClassReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/ClassReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/ClassReferableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/ClassReferableImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/ConcreteClassReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/ConcreteClassReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/CoreReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/CoreReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/DataLevelReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/DataLevelReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/DataLocalReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/DataLocalReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/EmptyLocatedReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/ErrorReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/ErrorReference.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/FakeLocalReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/FakeLocalReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/FieldReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/FieldReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/FieldReferableImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/FullModuleReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/FullModuleReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/GlobalReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/GlobalReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/GlobalReferableImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/HiddenLocalReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/HiddenLocalReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/LevelDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/LevelDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/LevelReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/LevelReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/LocalReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/LocalReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/LocatedReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/LocatedReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/LocatedReferableImpl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/MetaReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/MetaReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/ModuleReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/ModuleReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/Parameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/Parameter.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/ParameterReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/ParameterReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/RedirectingReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/RedirectingReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/Referable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/Referable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/Reference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/Reference.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/TCDefReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/TCDefReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/TCFieldReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/TCFieldReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/TCLevelReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/TCLevelReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/TCReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/TCReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/TypedLocatedReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/TypedLocatedReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/TypedReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/TypedReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/reference/UnresolvedReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/reference/UnresolvedReference.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/renamer/MapReferableRenamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/renamer/MapReferableRenamer.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/renamer/ReferableRenamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/renamer/ReferableRenamer.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/renamer/Renamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/renamer/Renamer.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/renamer/StringRenamer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/renamer/StringRenamer.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/resolving/ResolverListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/resolving/ResolverListener.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/CachingScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/CachingScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/ClassFieldImplScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/ConstructorFilteredScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/ConstructorFilteredScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/ConvertingScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/ConvertingScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/DelegateScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/DelegateScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/EmptyScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/EmptyScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/ImportedScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/ImportedScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/LazyScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/LazyScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/LevelLexicalScope.java: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/LexicalScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/LexicalScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/ListScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/ListScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/MergeScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/MergeScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/NamespaceCommandNamespace.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/NamespaceCommandNamespace.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/PrivateFilteredScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/PrivateFilteredScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/Scope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/Scope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/ScopeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/ScopeFactory.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/SimpleScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/SimpleScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/SingletonScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/SingletonScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/local/ElimScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/local/ElimScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/local/LetScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/local/LetScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/local/LocalListScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/local/LocalListScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/local/PatternScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/local/PatternScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/naming/scope/local/TelescopeScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/naming/scope/local/TelescopeScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/prelude/Prelude.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/prelude/Prelude.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/prelude/PreludeLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/prelude/PreludeLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/prelude/PreludeResourceLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/prelude/PreludeResourceLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/prelude/PreludeResourceSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/prelude/PreludeResourceSource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/prelude/PreludeTypecheckingLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/prelude/PreludeTypecheckingLibrary.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/CodeParsingHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/CodeParsingHandler.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/CommandHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/CommandHandler.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/QuitReplException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/QuitReplException.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/Repl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/Repl.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/ReplHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/ReplHandler.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/ReplScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/ReplScope.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/AliasableCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/AliasableCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/DirectoryArgumentCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/DirectoryArgumentCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/ExpressionArgumentCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/ExpressionArgumentCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/FileArgumentCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/FileArgumentCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/NormalizeCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/NormalizeCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/PrettyPrintFlagCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/PrettyPrintFlagCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/PrintCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/PrintCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/QuitCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/QuitCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/ReplCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/ReplCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/ResetContextCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/ResetContextCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/ShowContextCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/ShowContextCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/ShowTypeCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/ShowTypeCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/repl/action/SizeCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/repl/action/SizeCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/BinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/BinarySource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/FileBinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/FileBinarySource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/GZIPStreamBinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/GZIPStreamBinarySource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/PersistableBinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/PersistableBinarySource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/Source.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/Source.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/SourceLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/SourceLoader.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/StreamBinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/StreamBinarySource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/ZipFileBinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/ZipFileBinarySource.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/error/LocationError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/error/LocationError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/source/error/PersistingError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/source/error/PersistingError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/ChildNamespaceCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/ChildNamespaceCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/Fixity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/Fixity.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/NameRenaming.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/NameRenaming.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/NamespaceCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/NamespaceCommand.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/Abstract.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/Abstract.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/AbstractDefinitionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/AbstractDefinitionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/AbstractExpressionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/AbstractExpressionError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/AbstractExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/AbstractExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/AbstractLevelExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/AbstractLevelExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/AbstractParameterPattern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/AbstractParameterPattern.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/BaseAbstractExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/BaseAbstractExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/ConcreteBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/ConcreteBuilder.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/abs/IncompleteExpressionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/abs/IncompleteExpressionError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/Concrete.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/Concrete.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/ConcreteCompareVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/ConcreteDefinitionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/ConcreteDefinitionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/ConcreteExpressionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/ConcreteExpressionFactory.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/ConcreteExpressionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/ConcreteExpressionVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/DefinableMetaDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/DefinableMetaDefinition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/FindLevelVariablesVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/FindLevelVariablesVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/FreeReferablesVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/FreeReferablesVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/LocalFreeReferableVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/LocalFreeReferableVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/ReplaceDataVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/ReplaceDataVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/SearchConcreteVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/concrete/SubstConcreteVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/concrete/SubstConcreteVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/AccessModifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/AccessModifier.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/ChildGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/ChildGroup.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/ClassGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/ClassGroup.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/DataGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/DataGroup.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/EmptyGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/EmptyGroup.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/FileGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/FileGroup.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/Group.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/Group.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/Statement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/Statement.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/group/StaticGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/group/StaticGroup.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/prettyprint/BiConcreteVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/prettyprint/BiConcreteVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/prettyprint/PrettyPrintVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/prettyprint/TermWithSubtermDoc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/prettyprint/TermWithSubtermDoc.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/prettyprint/ToAbstractVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/term/prettyprint/VariableTracker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/term/prettyprint/VariableTracker.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/ArendExtensionProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/ArendExtensionProvider.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/LevelContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/LevelContext.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/TypecheckedReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/TypecheckedReporter.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/TypecheckerState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/TypecheckerState.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/TypecheckingContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/TypecheckingContext.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/UseTypechecking.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/UseTypechecking.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/dfs/ClassDFS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/dfs/ClassDFS.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/dfs/DFS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/dfs/DFS.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/dfs/FieldDFS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/dfs/FieldDFS.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/dfs/MapDFS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/dfs/MapDFS.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/CycleError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/CycleError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/ErrorReporterCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/ErrorReporterCounter.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/local/ElimSubstError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/local/ElimSubstError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/local/GoalDataHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/local/GoalDataHolder.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/local/GoalError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/local/GoalError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/local/HasErrors.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/local/HasErrors.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/local/NotPiType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/local/NotPiType.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/error/local/WrongReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/error/local/WrongReferable.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/instance/pool/InstancePool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/instance/pool/InstancePool.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/order/DefinitionComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/order/DefinitionComparator.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/order/MapTarjanSCC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/order/MapTarjanSCC.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/order/Ordering.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/order/Ordering.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/order/PartialComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/order/PartialComparator.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/order/TarjanSCC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/order/TarjanSCC.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/patternmatching/Condition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/patternmatching/Condition.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/patternmatching/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/patternmatching/Util.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/provider/ConcreteProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/provider/ConcreteProvider.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/result/DefCallResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/result/DefCallResult.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/result/TResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/result/TResult.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/subexpr/FindBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/subexpr/FindBinding.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/subexpr/SubExprError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/subexpr/SubExprError.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/termination/BaseCallGraph.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/termination/BaseCallMatrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/termination/BaseCallMatrix.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/termination/CallMatrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/termination/CallMatrix.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/CheckTypeVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/ClassFieldChecker.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/DesugarVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/DumbTypechecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/DumbTypechecker.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/FindDefCallVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/FindDefCallVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/FixLevelParameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/FixLevelParameters.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/SearchVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/SearchVisitor.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/typechecking/visitor/WhereVarsCollector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/typechecking/visitor/WhereVarsCollector.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/Arend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/Arend.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/ArendExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/ArendExpr.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/ComputationInterruptedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/ComputationInterruptedException.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/Decision.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/Decision.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/FileUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/FileUtils.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/FullName.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/FullName.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/GraphClosure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/GraphClosure.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/Range.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/Range.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/SingletonList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/SingletonList.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/StringEscapeUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/StringEscapeUtils.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/StringFormat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/StringFormat.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/Version.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/Version.java -------------------------------------------------------------------------------- /base/src/main/java/org/arend/util/VersionRange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/base/src/main/java/org/arend/util/VersionRange.java -------------------------------------------------------------------------------- /cli/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/build.gradle.kts -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/BaseCliFrontend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/BaseCliFrontend.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/ConcreteReferableProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/ConcreteReferableProvider.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/ConsoleMain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/ConsoleMain.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/FileLibraryResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/FileLibraryResolver.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/PositionComparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/PositionComparator.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/PreludeBinaryGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/PreludeBinaryGenerator.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/group/SimpleNamespaceCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/library/FileSourceLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/library/FileSourceLibrary.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/library/PreludeFileLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/library/PreludeFileLibrary.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/library/TimedLibraryManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/library/TimedLibraryManager.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/library/ZipSourceLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/library/ZipSourceLibrary.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/parser/BuildVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/parser/BuildVisitor.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/parser/ParseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/parser/ParseException.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/parser/ParserError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/parser/ParserError.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/parser/Position.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/parser/Position.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/parser/ReporterErrorListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/parser/ReporterErrorListener.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/reference/ParsedLocalReferable.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/CommonCliRepl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/CommonCliRepl.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/PlainCliRepl.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/ReplConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/ReplConfig.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/action/CdCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/action/CdCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/action/CliReplCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/action/CliReplCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/action/LoadLibraryCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/action/LoadLibraryCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/action/LoadModuleCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/action/LoadModuleCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/action/PwdCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/action/PwdCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/action/UnloadModuleCommand.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/action/UnloadModuleCommand.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/ArendReplParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/ArendReplParser.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/CommandsCompleter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/CommandsCompleter.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/Completers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/Completers.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/ImportCompleter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/ImportCompleter.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/JLineCliRepl.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/KeywordCompleter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/KeywordCompleter.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/repl/jline/ScopeCompleter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/repl/jline/ScopeCompleter.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/source/FileRawSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/source/FileRawSource.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/source/StreamRawSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/source/StreamRawSource.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/source/ZipFileRawSource.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/ui/ArendCliUI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/ui/ArendCliUI.java -------------------------------------------------------------------------------- /cli/src/main/java/org/arend/frontend/ui/CliSession.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/cli/src/main/java/org/arend/frontend/ui/CliSession.java -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/gradlew.bat -------------------------------------------------------------------------------- /lib/Prelude.ard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/lib/Prelude.ard -------------------------------------------------------------------------------- /parser/.gitignore: -------------------------------------------------------------------------------- 1 | /src -------------------------------------------------------------------------------- /parser/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/parser/build.gradle.kts -------------------------------------------------------------------------------- /proto/.gitignore: -------------------------------------------------------------------------------- 1 | /src/main/java -------------------------------------------------------------------------------- /proto/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/proto/build.gradle.kts -------------------------------------------------------------------------------- /proto/src/main/proto/Definition.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/proto/src/main/proto/Definition.proto -------------------------------------------------------------------------------- /proto/src/main/proto/Expression.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/proto/src/main/proto/Expression.proto -------------------------------------------------------------------------------- /proto/src/main/proto/Level.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/proto/src/main/proto/Level.proto -------------------------------------------------------------------------------- /proto/src/main/proto/Module.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/proto/src/main/proto/Module.proto -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/settings.gradle.kts -------------------------------------------------------------------------------- /src/test/java/org/arend/ArendTestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/ArendTestCase.java -------------------------------------------------------------------------------- /src/test/java/org/arend/ExpressionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/ExpressionFactory.java -------------------------------------------------------------------------------- /src/test/java/org/arend/Matchers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/Matchers.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/ClassParametersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/ClassParametersTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/DefaultImplTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/DefaultImplTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/DynamicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/DynamicTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/ExtensionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/ExtensionsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/ImplementTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/ImplementTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/LocalThisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/LocalThisTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/NewInstanceExtensionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/NewInstanceExtensionTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/OverrideTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/OverrideTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/RecordsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/RecordsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/SuperClassImplementTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/SuperClassImplementTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/classes/ThisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/classes/ThisTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/CachingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/CachingTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/LibraryLoadingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/LibraryLoadingTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/LibraryTestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/LibraryTestCase.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/MemoryBinarySource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/MemoryBinarySource.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/MemoryLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/MemoryLibrary.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/MemoryRawSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/MemoryRawSource.java -------------------------------------------------------------------------------- /src/test/java/org/arend/library/NameResolutionOnLoadTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/library/NameResolutionOnLoadTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/AccessModifiersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/AccessModifiersTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/AliasTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/AliasTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/ClassesResolveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/ClassesResolveTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/ConcreteComparatorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/ConcreteComparatorTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/DefinableMetaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/DefinableMetaTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/FieldsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/FieldsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/MetaResolverTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/MetaResolverTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/NameResolverTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/NameResolverTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/NameResolverTestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/NameResolverTestCase.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/ParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/ParserTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/ParserTestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/ParserTestCase.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/PatternTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/PatternTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/naming/PrettyPrintingParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/naming/PrettyPrintingParserTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/FinTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/FinTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/SigmaProjTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/SigmaProjTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/GetTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/GetTypeTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/visitor/BuiltinNormalizationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/visitor/BuiltinNormalizationTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/visitor/ComparisonTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/visitor/ComparisonTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/visitor/MinimizationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/visitor/MinimizationTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/visitor/NormalizationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/visitor/NormalizationTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/visitor/PrettyPrintingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/visitor/PrettyPrintingTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/term/expr/visitor/SubstTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/term/expr/visitor/SubstTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/AppHoleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/AppHoleTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/CoerceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/CoerceTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/EtaEquivalenceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/EtaEquivalenceTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/EvaluationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/EvaluationTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/ExpressionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/ExpressionTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/InfixPostfixTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/InfixPostfixTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/PathsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/PathsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/PreludeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/PreludeTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/RecursiveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/RecursiveTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/StrictPropTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/StrictPropTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/TestLocalErrorReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/TestLocalErrorReporter.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/TruncationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/TruncationsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/TypeCheckingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/TypeCheckingTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/TypeCheckingTestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/TypeCheckingTestCase.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/UseLevelTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/UseLevelTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/VarsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/VarsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/Application.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/Application.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/ArrayTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/ArrayTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/BoxTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/BoxTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/CaseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/CaseTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/DefCallTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/DefCallTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/IntTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/IntTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/Lambda.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/Lambda.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/LetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/LetTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/Pi.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/Pi.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/SigmaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/SigmaTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/Typed.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/Typed.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/Universe.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/Universe.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/constructions/UniverseLevels.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/constructions/UniverseLevels.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/copatternmatching/Functions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/copatternmatching/Functions.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/AxiomTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/AxiomTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/CoClauseFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/CoClauseFunctionTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/ConstructorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/ConstructorTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/DataIndicesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/DataIndicesTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/DataTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/DataTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/DefinableMetaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/DefinableMetaTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/DefinitionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/DefinitionTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/HITsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/HITsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/LemmaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/LemmaTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/SFuncTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/SFuncTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/definition/TypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/definition/TypeTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/implicitargs/DeferredTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/implicitargs/DeferredTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/implicitargs/InferenceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/implicitargs/InferenceTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/levels/ClassLevelsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/levels/ClassLevelsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/levels/DataPolyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/levels/DataPolyTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/levels/FunctionPolyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/levels/FunctionPolyTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/levels/InferLevelTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/levels/InferLevelTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/levels/LevelParametersTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/levels/LevelParametersTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/levels/LevelsDefinitionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/levels/LevelsDefinitionTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/AsPatternsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/AsPatternsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/ConditionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/ConditionsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/CoverageTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/CoverageTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/ElimTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/ElimTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/IdpTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/IdpTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/IntervalTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/IntervalTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/LamPatternTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/LamPatternTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/PatternTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/PatternTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/patternmatching/ProductsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/patternmatching/ProductsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/subexpr/CorrespondedSubDefTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/subexpr/CorrespondedSubDefTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/subexpr/CorrespondedSubExprTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/subexpr/CorrespondedSubExprTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/subexpr/FindBindingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/subexpr/FindBindingTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/subexpr/SubExprBugsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/subexpr/SubExprBugsTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/termination/TestCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/termination/TestCallGraph.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/termination/TestCallMatrix.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/termination/TestCallMatrix.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/termination/TestVertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/termination/TestVertex.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/typeclass/RecursiveInstances.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/typeclass/RecursiveInstances.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/typeclass/ReverseInference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/typeclass/ReverseInference.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/typeclass/TypeClassesGlobalTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/typeclass/TypeClassesGlobalTest.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/typeclass/TypeClassesLocal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/typeclass/TypeClassesLocal.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/typeclass/TypeClassesNamespaces.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/typeclass/TypeClassesNamespaces.java -------------------------------------------------------------------------------- /src/test/java/org/arend/typechecking/typeclass/TypeClassesTypes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/JetBrains/Arend/HEAD/src/test/java/org/arend/typechecking/typeclass/TypeClassesTypes.java --------------------------------------------------------------------------------