http://hg.impredicative.com/urweb/atom-log/tip/tests/naughty.urUr/Web: tests/naughty.ur history2011-12-05T10:43:06-05:00Treat [naughtyDebug] as pure for optimization purposeshttp://hg.impredicative.com/urweb/#changeset-deeeb036c8ed7191735e2e469e2072dcbedfaa21Adam Chlipalaadam@chlipala.net2011-12-05T10:43:06-05:002011-12-05T10:43:06-05:00
changeset
deeeb036c8ed
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Treat [naughtyDebug] as pure for optimization purposes