Closed hhugo closed 1 year ago
I've extracted some fix in #144
This is now based on top of #144. Only the last commit is part of this PR. once #144 is merged, this PR will only change how unicode.ml is generated but will no change its content.
I've rebased this PR. ready for another round of review
Based on #144