From: Christiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Date: Mon, 1 Mar 2010 16:01:58 +0000 (+0100)
Subject: Update code examples in choice section to use Equiv instead of Eq so not to confuse... 
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=b838590367678681d4d7948a7463eb7dcfa82b42;hp=b838590367678681d4d7948a7463eb7dcfa82b42

Update code examples in choice section to use Equiv instead of Eq so not to confuse with the Eq type class
---