From 6b14938a39f6a00cce63b693e879d1df433913b6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 11 Jan 2009 10:05:06 -0500 Subject: Hooking a source into an input --- tests/rform.ur | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 tests/rform.ur (limited to 'tests/rform.ur') diff --git a/tests/rform.ur b/tests/rform.ur new file mode 100644 index 00000000..17e9a0cf --- /dev/null +++ b/tests/rform.ur @@ -0,0 +1,10 @@ +fun main () : transaction page = + s <- source "Hi"; + return +
+ + + Change it up!
+
+ Latest: +
-- cgit v1.2.3