summaryrefslogtreecommitdiff
path: root/source/Felix/Source.hs
AgeCommit message (Collapse)Author
3 hoursMigrate to `Felix` namespaceHEADhotgadelon
7 hoursSimplify entry/CLI, track slowest ATP tasksadelon
3 daysReject the packaged prelude as ordinary sourceadelon
6 daysRestore precise verification diagnosticsadelon
7 daysRetain exact source contentadelon
7 daysEstablish canonical identity codecsadelon
7 daysCarry canonical roots through sourcesadelon
9 daysMeasure source and parser workadelon
10 daysParse source graph into immutable modulesadelon
10 daysRemove obsolete source-loading bypassesadelon
10 daysReject non-directory source mountsadelon
10 daysParse the resolved physical source graphadelon
10 daysLoad selected sources as strict UTF-8adelon
11 daysDefine mounted source identity policyadelon