Monthly Archives: August 2012

Creating documents with embedded diagrams

Posted on August 28, 2012 by Brent

If you read my recent post about type algebra, you may have wondered how I got all those nice images in there. Surely creating the images and then inserting them into the post by hand would be rather tedious! Indeed, … Continue reading →

Posted in diagrams, haskell, projects, writing | Tagged , , , , , , , , , | 11 Comments

BlogLiterately 0.5.2 release, with improved image uploading

Posted on August 26, 2012 by Brent

Just a quick note to say that I’ve just released version 0.5.2 of BlogLiterately. (For more information about what it does, see what I’ve written about previous releases here and here, and the documentation.) The new version keeps track of … Continue reading →

Posted in haskell, writing | Tagged , , | Leave a comment

Identifying outdated packages in cabal install plans

Posted on August 25, 2012 by Brent

Every time I build a Haskell package—whether using cabal or cabal-dev, whether something from Hackage or a development version of my own package—I always do a –dry-run first, and inspect the install plan to make sure it looks reasonable. I’m … Continue reading →

Posted in haskell | Tagged , , , , , | 7 Comments

Unordered tuples and type algebra

Posted on August 24, 2012 by Brent

At Hac Phi a few weekends ago (which, by the way, was awesome), Dan Doel told me about a certain curiosity in type algebra, and we ended up working out a bunch more details together with Gershom Bazerman, Scott Walck, … Continue reading →

Posted in combinatorics | Tagged , , , , | 7 Comments