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

Age	Commit message (Expand)	Author
8 hours	Restore exact proof binder and witness formsHEAD hotg	adelon
9 hours	Restore implicit set construction routing	adelon
10 hours	Restore fixed equality aliases	adelon
12 hours	Fix structure carrier membership lowering	adelon
41 hours	Shift contextual binders under exact binders	adelon
41 hours	Support contextual exact abbreviations	adelon
45 hours	Persist exact structure descriptors	adelon
46 hours	Support proof-local function graphs	adelon
2 days	Support terminal exact contradiction	adelon
2 days	Support proof-local set definitions	adelon
2 days	Resolve source application through apply	adelon
2 days	Compile quantified exact noun subjects	adelon
2 days	Advance cache epoch for relation lowering	adelon
2 days	Separate ordered tuples from PairSet	adelon
2 days	Confine set induction to outer proofs	adelon
3 days	Rewrite protected set and naturals closure	adelon
3 days	Publish protected foundation facts	adelon
3 days	Recognize fixed set noun exactly	adelon
3 days	Authorize exact guarded rule sets	adelon
3 days	Compile exact separation declarations	adelon
3 days	Distinguish semantic global targets	adelon
4 days	Bind exact globals in semantic deltas	adelon
4 days	Retain source markers in parsed occurrences	adelon
4 days	Add disposable SQLite store substrate	adelon
5 days	Bind prepared request identity to execution mode	adelon
5 days	Compact walking semantic deltas	adelon
5 days	Build module-local syntax interfaces	adelon
5 days	Validate every lexical parser surface	adelon
5 days	Establish canonical syntax interfaces	adelon
5 days	Separate epoch cache encoding	adelon