http://hg.impredicative.com/urweb/atom-log/tip/tests/twoArg.urUr/Web: tests/twoArg.ur history2010-01-12T10:33:03-05:00Supporting any number of arguments for explicitly exported functionshttp://hg.impredicative.com/urweb/#changeset-e06bfeb6c2aaf7c1a853c17ecd07fbe4c3c21999Adam Chlipalaadamc@hcoop.net2010-01-12T10:33:03-05:002010-01-12T10:33:03-05:00
changeset
e06bfeb6c2aa
branch
bookmark
tag
user
Adam Chlipala <adamc@hcoop.net>
description
Supporting any number of arguments for explicitly exported functions