1 files changed, 6 insertions, 0 deletions
diff --git a/demo/listFun.urs b/demo/listFun.urs
new file mode 100644
index 00000000..ce4acafc
--- /dev/null
+++ b/demo/listFun.urs
@@ -0,0 +1,6 @@
+functor Make(M : sig
+                 type t
+             end) : sig
+    val main : unit -> transaction page
+end
+