summaryrefslogtreecommitdiff
path: root/source/Syntax/Internal.hs
AgeCommit message (Expand)Author
34 hoursRemove the residual legacy task modeladelon
3 daysLocate invalid datatype premisesadelon
9 daysValidate relation parameter arityadelon
9 daysMake structure registration transactionaladelon
9 daysRemove source annotations from TPTP tasksadelon
10 daysMake `Omitted` carry its locationadelon
12 daysReject Object-Symbol Marker Collisionsadelon
12 daysMake `Contradiction` a proof-terminal keywordadelon
2026-07-03Track ownership of top-level symbolsadelon
2026-04-13Implement datatypesadelon
2026-04-12Refine handling of struct labelsadelon
2026-02-13Collect more location informationadelon
2026-02-10Fix checking of signaturesadelon
2026-02-05Clean importsadelon
2026-02-05Cache hypothesis lineadelon
2026-02-05Cache contractionadelon
2026-02-05Cache encoding of hypothesesadelon
2026-02-05Remove `lookupLexicalItem`, attach info in AST insteadadelon
2026-02-05Remove `lookupOp` and add marker to AST insteadadelon
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 location info to conjectureadelon
2025-12-09Propagate location info furtheradelon
2025-12-09Gather some location info from parseradelon
2025-12-04Remove Iota from internal syntaxadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2025-07-02Add TODOadelon
2024-09-18working commitSimon-Kor
2024-08-27Feature CompleteSimon-Kor
2024-08-27Experimental working commit, programm will compileSimon-Kor
2024-08-26Implemented the checking for local functions.Simon-Kor
2024-08-26Non finished attemped to translate a localSimon-Kor
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-05 05:21:40 +0000