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

Age	Commit message (Expand)	Author
46 hours	Make finite-set literals intrinsic	adelon
2 days	Close exact definition declaration boundary	adelon
3 days	Restore fixed equality aliases	adelon
3 days	Cleanup	adelon
4 days	Remove the residual legacy task model	adelon
4 days	Ignore commented source environments	adelon
5 days	Compile quantified exact noun subjects	adelon
5 days	Separate ordered tuples from PairSet	adelon
5 days	Recognize fixed set noun exactly	adelon
5 days	Locate invalid datatype premises	adelon
6 days	Bind exact globals in semantic deltas	adelon
7 days	Validate supplied interfaces before publication	adelon
7 days	Construct the empty prelude session	adelon
8 days	Define semantic interface identities	adelon
8 days	Remove obsolete lexicon pattern index	adelon
8 days	Build module-local syntax interfaces	adelon
8 days	Validate every lexical parser surface	adelon
8 days	Establish canonical syntax interfaces	adelon
8 days	Extract source fixity pragmas	adelon
8 days	Accept empty source modules	adelon
10 days	Parse source graph into immutable modules	adelon
10 days	Make parsed syntax deeply evaluable	adelon
11 days	Remove obsolete source-loading bypasses	adelon
11 days	Validate packed source positions during lexing	adelon
11 days	Scan final signature declaration	adelon
11 days	Restore textual adjective signatures	adelon
11 days	Make noun phrase ordering lexicographic	adelon
11 days	Fix textual connective precedence	adelon
11 days	Parse transfinite induction continuation after method	adelon
11 days	Validate relation parameter arity	adelon
11 days	Remove dead signature-atom scanner	adelon
11 days	Make structure registration transactional	adelon
11 days	Remove source annotations from TPTP tasks	adelon
11 days	Return malformed lexical scans as typed errors	adelon
11 days	Report lexical collisions with source locations	adelon
11 days	Load selected sources as strict UTF-8	adelon
12 days	Make `Omitted` carry its location	adelon
12 days	Simplify	adelon
2026-07-24	Reject Object-Symbol Marker Collisions	adelon
2026-07-23	Make `Contradiction` a proof-terminal keyword	adelon
2026-07-03	Track ownership of top-level symbols	adelon
2026-04-13	Implement datatypes	adelon
2026-04-12	Refine handling of struct labels	adelon
2026-04-12	Make lexer more robust	adelon
2026-03-25	Update temporary warnings for easier debugging	adelon
2026-03-07	Preserve marker for prefix predicates	adelon
2026-03-07	Improve variable rendering	adelon
2026-03-07	Add HTML rendering skeleton	adelon
2026-02-21	Update Adapt.hs	adelon
2026-02-20	Initialize `lexiconAllPatterns`	adelon