issues
search
gfngfn
/
SATySFi
A statically-typed, functional typesetting system
GNU Lesser General Public License v3.0
1.17k
stars
83
forks
source link
Refactor `sapheMain.ml`
#457
Closed
gfngfn
closed
4 weeks ago
gfngfn
commented
4 weeks ago
Separate
errorReporting.ml
and
initData.ml
from
sapheMain.ml
Validate registry hash values when reading lock configs or store root configs
errorReporting.ml
andinitData.ml
fromsapheMain.ml