As OTVar being added, OpenType finally become a programming language somehow...
So should we formalize it, by defining the
semantics of a font into a formalized language (like, Coq or Idris), and define the corresponded functions into it?
Here is an example of formalized algorithm of calculating a "value + delta" quantity:
https://gist.github.com/be5invis/cf7a3a0c8925cace3749986cf64f15fc
Comments