http://hg.impredicative.com/urweb/atom-log/tip/tests/window.urpUr/Web: tests/window.urp history2012-06-02T16:00:50-04:00Compiled a window function usehttp://hg.impredicative.com/urweb/#changeset-8f28c329514883d6e68a968890a7aa43f28d221eAdam Chlipalaadam@chlipala.net2012-06-02T16:00:50-04:002012-06-02T16:00:50-04:00