search

MLton / mlton

The MLton repository
http://mlton.org
Other
960 stars 127 forks source link

Fix filenames in bootstrap with polyml/mlkit #528

Closed ii8 closed 1 year ago

MatthewFluet commented 1 year ago

Thanks!