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

Age	Commit message (Expand)	Author
6 hours	Move to Felix namespace	adelon
23 hours	Make finite-set literals intrinsic	adelon
6 days	Reset gloss state at module boundaries	adelon
10 days	Reject unsupported definite source forms	adelon
10 days	Reject unresolved quantified term holes	adelon
10 days	Resolve quantified noun binders	adelon
10 days	Reject dependent replacement domains	adelon
10 days	Return typed errors for malformed proof shapes	adelon
10 days	Make abbreviations and definitions transactional	adelon
10 days	Validate abbreviation parameters	adelon
10 days	Validate relation parameter arity	adelon
11 days	Make `Omitted` carry its location	adelon
14 days	Make `Contradiction` a proof-terminal keyword	adelon
2026-04-13	Implement datatypes	adelon
2026-04-12	Handle bounded calculations	adelon
2026-04-12	Refine handling of struct labels	adelon
2026-03-07	Preserve marker for prefix predicates	adelon
2026-03-07	Add HTML rendering skeleton	adelon
2026-02-13	Collect more location information	adelon
2026-02-13	Stream parsing and glossing	adelon
2026-02-10	Fix checking of signatures	adelon
2026-02-06	Clean warnings, drop lexicon from Megalodon export	adelon
2026-02-05	Remove `lookupLexicalItem`, attach info in AST instead	adelon
2026-01-13	Add gloss of `AsmLetEq`	adelon
2026-01-13	Improve glossing errors	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-09	Propagate location info further	adelon
2025-12-09	Gather some location info from parser	adelon
2025-12-04	Remove Iota from internal syntax	adelon
2025-11-27	Add basic parameter handling for relators	adelon
2025-11-27	Update errors and cull formalizations	adelon
2025-08-12	Allow relation symbols with parameters	adelon
2025-07-16	Add quantified calcs and relax tokenization	adelon
2025-07-02	Merge pull request #2 from Simon-Kor/main	adelon
2024-09-18	working commit	Simon-Kor
2024-08-27	Experimental working commit, programm will compile	Simon-Kor
2024-08-26	Implemented the checking for local functions.	Simon-Kor
2024-08-26	Non finished attemped to translate a local	Simon-Kor
2024-07-23	Formatting	adelon
2024-05-07	Sketch noun coord, symbols for reals	adelon
2024-02-10	Initial commit	adelon