summaryrefslogtreecommitdiff
path: root/source/Syntax/Concrete.hs
AgeCommit message (Expand)Author
3 hoursMigrate to `Felix` namespaceHEADhotgadelon
26 hoursClose exact definition declaration boundaryadelon
4 daysSeparate ordered tuples from PairSetadelon
10 daysRestore textual adjective signaturesadelon
10 daysFix textual connective precedenceadelon
10 daysParse transfinite induction continuation after methodadelon
11 daysMake `Omitted` carry its locationadelon
14 daysMake `Contradiction` a proof-terminal keywordadelon
2026-04-13Implement datatypesadelon
2026-03-07Preserve marker for prefix predicatesadelon
2026-03-07Add HTML rendering skeletonadelon
2026-02-14Simplifyadelon
2026-02-13Collect more location informationadelon
2026-02-10Fix checking of signaturesadelon
2026-02-06Use tries for patterns, skip trivial hypothesesadelon
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
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-09Propagate location info furtheradelon
2025-12-09Gather some location info from parseradelon
2025-11-27Add basic parameter handling for relatorsadelon
2025-08-12Relax function symbol definitionsadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2024-09-18working commitSimon-Kor
2024-09-17Corrected Math Env ParsingSimon-Kor
2024-08-27ambigus parse fix. The proof goal must be changed,Simon-Kor
2024-08-27Experimental working commit, programm will compileSimon-Kor
2024-08-26Implemented the checking for local functions.Simon-Kor
2024-08-26I implemented a parsing rule in concrete.hsSimon-Kor
2024-08-24First atemped to write a new way of local function defintionSimon-Kor
2024-06-10Dedupe helper functionadelon
2024-05-07Sketch noun coord, symbols for realsadelon
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-06 19:17:45 +0000