summaryrefslogtreecommitdiff
path: root/source/Checking/FinalPrelude.hs
AgeCommit message (Collapse)Author
3 hoursMigrate to `Felix` namespaceHEADhotgadelon
44 hoursAudit the exact Omega fact batchadelon
45 hoursComplete named construction premise viewsadelon
2 daysUnify checked candidate planningadelon
2 daysName prospective lowering explicitlyadelon
2 daysPlan and admit module declarations prospectivelyadelon
2 daysRoute declarations through checked envelopesadelon
3 daysCut verification over to the typed driveradelon
3 daysAcquire the final prelude through the cacheadelon
3 daysInstall base structure metadata in final preludeadelon
4 daysAlign successor with canonical set insertionadelon
Exact definitions remain named globals, so suc spells the canonical construction directly to coalesce with the packaged successor.
4 daysNarrow final prelude validationadelon
4 daysRetain exact omitted-proof locationsadelon
4 daysBind final prelude to packaged sourceadelon
4 daysValidate final prelude rolesadelon
4 daysConfine final prelude constructionadelon