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

Age	Commit message (Expand)	Author
2026-02-12	Delete Nominal.hs	adelon
2026-02-11	Update env vars for provers	adelon
2026-02-11	Make fallback for imported file search simpler	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	Clean warnings, drop lexicon from Megalodon export	adelon
2026-02-06	Make `DeBruijn.substitute` match formalization	adelon
2026-02-06	Use tries for patterns, skip trivial hypotheses	adelon
2026-02-05	Stream to stdin	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	Skip TPTP AST	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
2026-02-04	Update Api.hs	adelon
2026-01-31	Compute parser only once	adelon
2026-01-30	Link dump behaviour to caching	adelon
2026-01-23	Add directness annotation to TPTP output	adelon
2026-01-20	Fix `syntacticMatch` issue with complex terms	adelon
2026-01-13	Add gloss of `AsmLetEq`	adelon
2026-01-13	Improve glossing errors	adelon
2026-01-09	Improve errors for `fix` steps and unknown markers	adelon
2026-01-07	Fix error message for duplicate markers	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	Fix column location	adelon
2025-12-14	Add more location info in tasks	adelon
2025-12-14	Add location info to conjecture	adelon
2025-12-13	More explicit `locate` for `Stmt`	adelon
2025-12-13	Start inlining more tests	adelon
2025-12-12	Update `ReplExpr` definitions	adelon
2025-12-11	More on indexed variables	adelon
2025-12-10	Propagate Location to CheckingError	adelon
2025-12-09	Propagate location info further	adelon
2025-12-09	Gather some location info from parser	adelon
2025-12-08	Pass through markers with `throwWithMarker`	adelon
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