http://hg.impredicative.com/urweb/atom-log/tip/tests/mproj.urpUr/Web: tests/mproj.urp history2009-06-16T14:38:01-04:00Fix a bug in type class enrichment from substructureshttp://hg.impredicative.com/urweb/#changeset-e571fb150a9ffa1e4a1d6efd354263d33bbb797eAdam Chlipalaadamc@hcoop.net2009-06-16T14:38:01-04:002009-06-16T14:38:01-04:00
changeset
e571fb150a9f
branch
bookmark
tag
user
Adam Chlipala <adamc@hcoop.net>
description
Fix a bug in type class enrichment from substructures