summaryrefslogtreecommitdiff
path: root/source/Syntax
AgeCommit message (Expand)Author
2025-08-23Update Token.hsHEADmainadelon
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
2025-07-04Update Adapt.hsadelon
2025-07-04Fix whitespaceadelon
2025-07-02Add TODOadelon
2024-09-18working commitSimon-Kor
2024-09-17Corrected Math Env ParsingSimon-Kor
2024-08-27Feature CompleteSimon-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-26Non finished attemped to translate a localSimon-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-08-24hlint suggestionSimon-Kor
2024-08-12more more way more urysohnSimon-Kor
2024-07-06Formalisation of rationals.Simon-Kor
2024-07-06Formalisation of integers.Simon-Kor
2024-06-25Add `\neg`adelon
2024-06-10Dedupe helper functionadelon
2024-05-22Allow `\left` and `\right` everywhereadelon
2024-05-21Allow line breaks via `\textbox`, handle `\left`/`\right`adelon
2024-05-16Attach whitespace info to located tokenadelon
2024-05-07Update noun guessingadelon
2024-05-07Sketch noun coord, symbols for realsadelon
2024-05-07Sketch lexicon mechanismadelon
2024-04-01Allow numbers in markers (from the second char)adelon
2024-03-28Allow Windows-style newlinesSimon-Kor
2024-02-10Initial commitadelon
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-06 07:13:50 +0000