Should we formalize the OT Spec?

Belleve InvisBelleve Invis Posts: 213
edited November 2017 in Technique and Theory
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:


Sign In or Register to comment.