| Age | Commit message (Expand) | Author |
|---|---|---|
| 15 hours | Tighten executor and candidate invariants | adelon |
| 15 hours | Unify checked candidate planning | adelon |
| 21 hours | Plan and admit module declarations prospectively | adelon |
| 21 hours | Route declarations through checked envelopes | adelon |
| 41 hours | Support contextual exact abbreviations | adelon |
| 3 days | Locate invalid datatype premises | adelon |
| 3 days | Prepare exact datatype declarations | adelon |
| 3 days | Authorize exact guarded rule sets | adelon |
| 3 days | Share exact primitive vocabulary | adelon |
| 3 days | Prepare exact inductive declarations | adelon |
 |
index : felix.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |