Monthly Archives: August 2011

Unbound now supports “set” binders and GADTs

Posted on August 24, 2011 by Brent

I have just uploaded version 0.3 of the Unbound library (and version 0.5 of RepLib). This version adds support for two major new features: The new permbind and setbind functions create binders that are alpha-equivalent “up to permutation”. For example, … Continue reading →

Posted in haskell, projects | Leave a comment

Idempotent Template Haskell

Posted on August 16, 2011 by Brent

Yesterday I was looking for a way to have some Template Haskell code generate a definition for a certain identifier if and only if such a definition did not already exist. Essentially I want to be able to call the … Continue reading →

Posted in haskell | Tagged , , , | 2 Comments