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

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

23 hours	Make finite-set literals intrinsic	adelon

48 hours	Restore fixed equality aliases	adelon

4 days	Compile quantified exact noun subjects	adelon

4 days	Separate ordered tuples from PairSet	adelon

4 days	Recognize fixed set noun exactly	adelon
	Marker-only recognition admitted unsupported noun headers into persistent typed results. Advance the disposable cache epoch to 10.
7 days	Remove obsolete lexicon pattern index	adelon

7 days	Build module-local syntax interfaces	adelon

10 days	Restore textual adjective signatures	adelon

10 days	Validate relation parameter arity	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-02-20	Initialize `lexiconAllPatterns`	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.
2026-02-04	Update Lexicon.hs	adelon

2025-12-09	Propagate location info further	adelon

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`.
2024-08-12	more more way more urysohn	Simon-Kor

2024-07-06	Formalisation of rationals.	Simon-Kor

2024-07-06	Formalisation of integers.	Simon-Kor

2024-06-25	Add `\neg`	adelon

2024-05-07	Sketch noun coord, symbols for reals	adelon

2024-02-10	Initial commit	adelon