http://hg.impredicative.com/urweb/atom-log/tip/tests/empty_record.urpUr/Web: tests/empty_record.urp history2014-07-29T14:38:50-04:00Small tweak to ordering of unification rules, to support better record matchinghttp://hg.impredicative.com/urweb/#changeset-e762c96fffb7d50a22f78795069015382b1f6660Adam Chlipalaadam@chlipala.net2014-07-29T14:38:50-04:002014-07-29T14:38:50-04:00
changeset
e762c96fffb7
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Small tweak to ordering of unification rules, to support better record matching