An Implementation of Many of the Definitional Interpreters from John C. Reynold's 1972 paper
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool