Monthly Archives: October 2011

More counting lambda terms

Posted on October 24, 2011 by Brent

Yesterday someone submitted a comment to an old post of mine about counting linear lambda terms, asking the following question: I am interested in a similar problem: given a natural number N, what is the number of different symply-typed closed … Continue reading →

Posted in haskell | 5 Comments

Announcing diagrams-0.4

Posted on October 23, 2011 by Brent

I am pleased to announce the release of version 0.4 of diagrams, a full-featured framework and embedded domain-specific language for declarative drawing. The last announcement was of the 0.1 release; there have been quite a few changes and improvements since … Continue reading →

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

Effective parse tree support for the working semanticist

Posted on October 11, 2011 by Brent

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