summaryrefslogtreecommitdiff
path: root/source/Syntax
AgeCommit message (Expand)Author
2026-02-20Initialize `lexiconAllPatterns`adelon
2026-02-18Allow more keywordsadelon
2026-02-17Allow ticks in subscript of varsadelon
2026-02-14Fix parentheses in `Show` instance of `VarSymbol`adelon
2026-02-14Simplifyadelon
2026-02-13Collect more location informationadelon
2026-02-13Use packed representation for `Location`adelon
2026-02-12Delete Nominal.hsadelon
2026-02-11Nominal sketchadelon
2026-02-10Fix checking of signaturesadelon
2026-02-09Fix support for mixfix signaturesadelon
2026-02-06Make `DeBruijn.substitute` match formalizationadelon
2026-02-06Use tries for patterns, skip trivial hypothesesadelon
2026-02-05Clean importsadelon
2026-02-05Cache hypothesis lineadelon
2026-02-05Cache contractionadelon
2026-02-05Cache encoding of hypothesesadelon
2026-02-05Add `lexiconAllPatterns`, basic warning for dupe patternadelon
2026-02-05Remove `lookupLexicalItem`, attach info in AST insteadadelon
2026-02-05Remove `lookupOp` and add marker to AST insteadadelon
2026-02-05Prepare mixfix refactoradelon
2026-02-05Use `Map` over `HashMap`adelon
2026-02-05Optimize data structure used for translationadelon
2026-02-04Update Lexicon.hsadelon
2026-01-20Fix `syntacticMatch` issue with complex termsadelon
2026-01-06Use `equivalent` for term comparisonadelon
2026-01-06Quick work-around for term equality in assumptionadelon
2025-12-17Fix `filterTask`, make var names more consistentadelon
2025-12-16Add location info to implicit QED stepadelon
2025-12-14Add more location info in tasksadelon
2025-12-14Add location info to conjectureadelon
2025-12-13More explicit `locate` for `Stmt`adelon
2025-12-12Update `ReplExpr` definitionsadelon
2025-12-11More on indexed variablesadelon
2025-12-09Propagate location info furtheradelon
2025-12-09Gather some location info from parseradelon
2025-12-04Sketch out exprs with scoped de Bruijn indicesadelon
2025-12-04Remove Iota from internal syntaxadelon
2025-12-03Fix skipping of starting charsadelon
2025-11-30Fix skipping to imports, drop charset depadelon
2025-11-29Integrate chunker and import gatherer into lexeradelon
2025-11-27Add basic parameter handling for relatorsadelon
2025-08-23Update Token.hsadelon
2025-08-14Improve scanningadelon
2025-08-12Relax function symbol definitionsadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-31Remove unused keywordadelon
2025-07-16Relax label syntaxadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2025-07-04Update Adapt.hsadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 19:51:08 +0000