Giters

gfngfn / SATySFi

A statically-typed, functional typesetting system

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Migrate from OCamlLex to Sedlex for Unicode-aware lexing

gfngfn opened this issue · comments

commented
Migrate from OCamlLex to Sedlex for Unicode-aware lexing