liamoc/learn-you-an-agda — pull request #3 by sordina (2012-06-02 15:15:40+00:00)
Title: Fails to check without the 'where'.

Just running through some of the examples and noticed that the _^_ data was missing a 'where'.

I'm a complete novice, so let me know if this is incorrect :)