From 2c8e4cddb5f5c7a85337b8c42135c346b14de1f4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 19 Dec 2008 11:47:18 -0500 Subject: Creation of sources in server code --- tests/reactive.ur | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 tests/reactive.ur (limited to 'tests/reactive.ur') diff --git a/tests/reactive.ur b/tests/reactive.ur new file mode 100644 index 00000000..cb49541f --- /dev/null +++ b/tests/reactive.ur @@ -0,0 +1,4 @@ +fun main () : transaction page = + x <- source (); + y <- source (); + return Hi! -- cgit v1.2.3