| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 3 hours | Migrate to `Felix` namespaceHEADhotg | adelon | |
| 2 days | Plan and admit module declarations prospectively | adelon | |
| 3 days | Support contextual exact abbreviations | adelon | |
| 4 days | Prepare exact datatype declarations | adelon | |
