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

Age	Commit message (Collapse)	Author
3 hours	Migrate to `Felix` namespaceHEAD hotg	adelon

6 hours	Move to Felix namespace	adelon

25 hours	Support exact nested inductive contexts	adelon

2 days	Tighten executor and candidate invariants	adelon

2 days	Unify checked candidate planning	adelon

2 days	Plan and admit module declarations prospectively	adelon

2 days	Route declarations through checked envelopes	adelon

3 days	Support contextual exact abbreviations	adelon

4 days	Locate invalid datatype premises	adelon

4 days	Prepare exact datatype declarations	adelon

4 days	Authorize exact guarded rule sets	adelon

4 days	Share exact primitive vocabulary	adelon

5 days	Prepare exact inductive declarations	adelon