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

Age	Commit message (Expand)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon
22 hours	Make finite-set literals intrinsic	adelon
47 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
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
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
2026-02-04	Update Lexicon.hs	adelon
2025-12-09	Propagate location info further	adelon
2025-08-12	Allow relation symbols with parameters	adelon
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