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

Age	Commit message (Collapse)	Author
2026-02-20	Initialize `lexiconAllPatterns`	adelon

2026-02-18	Allow more keywords	adelon

2026-02-17	Allow ticks in subscript of vars	adelon
	This also changes the encoding of the ticks in TPTP to just an underscore.
2026-02-14	Fix parentheses in `Show` instance of `VarSymbol`	adelon

2026-02-14	Simplify	adelon

2026-02-13	Collect more location information	adelon

2026-02-13	Use packed representation for `Location`	adelon

2026-02-12	Delete Nominal.hs	adelon

2026-02-11	Nominal sketch	adelon

2026-02-10	Fix checking of signatures	adelon

2026-02-09	Fix support for mixfix signatures	adelon

2026-02-06	Make `DeBruijn.substitute` match formalization	adelon

2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon

2026-02-05	Clean imports	adelon

2026-02-05	Cache hypothesis line	adelon

2026-02-05	Cache contraction	adelon

2026-02-05	Cache encoding of hypotheses	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

2026-01-20	Fix `syntacticMatch` issue with complex terms	adelon

2026-01-06	Use `equivalent` for term comparison	adelon

2026-01-06	Quick work-around for term equality in assumption	adelon

2025-12-17	Fix `filterTask`, make var names more consistent	adelon

2025-12-16	Add location info to implicit QED step	adelon

2025-12-14	Add more location info in tasks	adelon

2025-12-14	Add location info to conjecture	adelon
	Still some `<nowhere>` value as placeholder left over.
2025-12-13	More explicit `locate` for `Stmt`	adelon
	Fixes missing match on the `Just` case for `StmtConnected`
2025-12-12	Update `ReplExpr` definitions	adelon

2025-12-11	More on indexed variables	adelon

2025-12-09	Propagate location info further	adelon

2025-12-09	Gather some location info from parser	adelon
	WIP
2025-12-04	Sketch out exprs with scoped de Bruijn indices	adelon

2025-12-04	Remove Iota from internal syntax	adelon

2025-12-03	Fix skipping of starting chars	adelon

2025-11-30	Fix skipping to imports, drop charset dep	adelon

2025-11-29	Integrate chunker and import gatherer into lexer	adelon
	Drops dependency on `regex-applicative-text`.
2025-11-27	Add basic parameter handling for relators	adelon

2025-08-23	Update Token.hs	adelon

2025-08-14	Improve scanning	adelon
	Fixes scanning of relation symbols and adds a few error cases for function symbols.
2025-08-12	Relax function symbol definitions	adelon
	Extra assumptions are simply discarded for now.
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-31	Remove unused keyword	adelon

2025-07-16	Relax label syntax	adelon

2025-07-16	Add quantified calcs and relax tokenization	adelon
	Use an `\iff`-calc to speed up `union_as_unions`. Also remove `in_implies_neq` which seems to interact badly with the choice axiom used by superposition-based proofs like Vampire in cut-down problems.
2025-07-04	Update Adapt.hs	adelon