http://hg.impredicative.com/urweb/atom-log/tip/tests/pow.urUr/Web: tests/pow.ur history2012-11-28T11:45:46-05:00Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for ithttp://hg.impredicative.com/urweb/#changeset-373e2c3f03b2b64fad87f0f7f9a34694cbbd1da1Adam Chlipalaadam@chlipala.net2012-11-28T11:45:46-05:002012-11-28T11:45:46-05:00
changeset
373e2c3f03b2
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Rename Basis.exp to Basis.pow, to avoid confusion with 'expression'; add a test case for it