diff examples/remotePager.urs @ 16:2e397d373289

Add RemotePager.
author Karn Kallio <kkallio@eka>
date Thu, 18 Aug 2011 12:53:17 -0430
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/remotePager.urs	Thu Aug 18 12:53:17 2011 -0430
@@ -0,0 +1,1 @@
+val main : {} -> transaction page