Tag Archives: parse

Effective parse tree support for the working semanticist

Posted on October 11, 2011 by

If, like me, you spend large amounts of time designing, discussing, and proving things about programming languages and formal calculi, chances are you have used Ott (and if you do, but you haven’t, you are really missing out). You write … Continue reading →

Posted in haskell, projects | Tagged , , , , , | 2 Comments