felix.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
6 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

4 days	Separate ordered tuples from PairSet	adelon

7 days	Remove obsolete lexicon pattern index	adelon

7 days	Build module-local syntax interfaces	adelon

10 days	Parse source graph into immutable modules	adelon

10 days	Scan final signature declaration	adelon

10 days	Restore textual adjective signatures	adelon

10 days	Validate relation parameter arity	adelon

10 days	Remove dead signature-atom scanner	adelon

10 days	Return malformed lexical scans as typed errors	adelon

10 days	Report lexical collisions with source locations	adelon
	Built-in patterns remain authoritative syntax seeds: their first source declaration records provenance without replacing the seeded marker.
2026-04-13	Implement datatypes	adelon

2026-03-25	Update temporary warnings for easier debugging	adelon

2026-02-21	Update Adapt.hs	adelon

2026-02-13	Collect more location information	adelon

2026-02-09	Fix support for mixfix signatures	adelon

2026-02-05	Add `lexiconAllPatterns`, basic warning for dupe pattern	adelon

2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon

2026-02-05	Remove `lookupOp` and add marker to AST instead	adelon

2026-02-05	Prepare mixfix refactor	adelon

2026-02-05	Use `Map` over `HashMap`	adelon

2026-02-05	Optimize data structure used for translation	adelon
	Splits mixfix data in lexicon into two data structures: a precedence table used for the parser and a mapping from symbols to markers used for the TPTP export.
2025-12-09	Propagate location info further	adelon

2025-12-09	Gather some location info from parser	adelon
	WIP
2025-08-14	Improve scanning	adelon
	Fixes scanning of relation symbols and adds a few error cases for function symbols.
2025-08-12	Allow relation symbols with parameters	adelon
	Parameters must follow the relation symbol and be surrounded by braces, like so: `\rel{x}{y}{z}`. This attempt is still brittle/broken in a few ways: - It makes using braces in creative ways in mixfix notation ambiguous. - It does not verify that the parameters are used in a consistent manner for each symbol. It essentially allows users to define `a\MyRel b` and `a\MyRel{x} b` (and ones with even more parameters). - It allows parameters for all relation symbols, even for those where it makes no sense in ordinary TeX markup, e.g. `a <{x} b`.
2025-07-04	Update Adapt.hs	adelon

2025-07-04	Update Adapt.hs	adelon

2024-08-27	Experimental working commit, programm will compile	Simon-Kor
	But the Proof that the domain of the local function is not right. Also if in the definition of our local function we just use f(x) = x then we get a technical ambigus parse
2024-08-26	Implemented the checking for local functions.	Simon-Kor

2024-08-24	First atemped to write a new way of local function defintion	Simon-Kor

2024-08-24	hlint suggestion	Simon-Kor

2024-05-16	Attach whitespace info to located token	adelon

2024-05-07	Update noun guessing	adelon

2024-02-10	Initial commit	adelon