projects / matthijs / master-project / dsd-paper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be5b558) | patch
Update code examples in choice section to use Equiv instead of Eq so not to confuse...
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 16:01:58 +0000 (17:01 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 16:01:58 +0000 (17:01 +0100)
commitb838590367678681d4d7948a7463eb7dcfa82b42
tree561bbc9818fa64d762d957f11ad82a017db6f395tree | snapshot
parentbe5b558f00c76c7190c5647d2f6e3e42003035fbcommit | diff
Update code examples in choice section to use Equiv instead of Eq so not to confuse with the Eq type class
cλash.lhs diff | blob | history
Paper intended for DSD 2010