summaryrefslogtreecommitdiff
path: root/source/Syntax/Abstract.hs
AgeCommit message (Expand)Author
3 hoursMigrate to `Felix` namespaceHEADhotgadelon
22 hoursMake finite-set literals intrinsicadelon
4 daysSeparate ordered tuples from PairSetadelon
6 daysConstruct the empty prelude sessionadelon
9 daysMake parsed syntax deeply evaluableadelon
10 daysRestore textual adjective signaturesadelon
10 daysMake noun phrase ordering lexicographicadelon
10 daysValidate relation parameter arityadelon
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-14Fix parentheses in `Show` instance of `VarSymbol`adelon
2026-02-13Collect more location informationadelon
2026-02-10Fix checking of signaturesadelon
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
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-13More explicit `locate` for `Stmt`adelon
2025-12-09Propagate location info furtheradelon
2025-12-09Gather some location info from parseradelon
2025-11-27Add basic parameter handling for relatorsadelon
2025-08-12Allow relation symbols with parametersadelon
2025-07-16Add quantified calcs and relax tokenizationadelon
2025-07-04Fix whitespaceadelon
2024-09-18working commitSimon-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-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 18:42:01 +0000