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
23 hours	Make finite-set literals intrinsic	adelon
26 hours	Close exact definition declaration boundary	adelon
48 hours	Restore fixed equality aliases	adelon
2 days	Cleanup	adelon
3 days	Remove the residual legacy task model	adelon
3 days	Ignore commented source environments	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
4 days	Locate invalid datatype premises	adelon
5 days	Bind exact globals in semantic deltas	adelon
6 days	Validate supplied interfaces before publication	adelon
6 days	Construct the empty prelude session	adelon
7 days	Define semantic interface identities	adelon
7 days	Remove obsolete lexicon pattern index	adelon
7 days	Build module-local syntax interfaces	adelon
7 days	Validate every lexical parser surface	adelon
7 days	Establish canonical syntax interfaces	adelon
7 days	Extract source fixity pragmas	adelon
7 days	Accept empty source modules	adelon
10 days	Parse source graph into immutable modules	adelon
10 days	Make parsed syntax deeply evaluable	adelon
10 days	Remove obsolete source-loading bypasses	adelon
10 days	Validate packed source positions during lexing	adelon
10 days	Scan final signature declaration	adelon
10 days	Restore textual adjective signatures	adelon
10 days	Make noun phrase ordering lexicographic	adelon
10 days	Fix textual connective precedence	adelon
10 days	Parse transfinite induction continuation after method	adelon
10 days	Validate relation parameter arity	adelon
10 days	Remove dead signature-atom scanner	adelon
10 days	Make structure registration transactional	adelon
10 days	Remove source annotations from TPTP tasks	adelon
10 days	Return malformed lexical scans as typed errors	adelon
10 days	Report lexical collisions with source locations	adelon
10 days	Load selected sources as strict UTF-8	adelon
11 days	Make `Omitted` carry its location	adelon
11 days	Simplify	adelon
14 days	Reject Object-Symbol Marker Collisions	adelon
14 days	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