summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
Diffstat (limited to 'demo')
-rw-r--r--demo/listShop.ur8
-rw-r--r--demo/prose4
2 files changed, 8 insertions, 4 deletions
diff --git a/demo/listShop.ur b/demo/listShop.ur
index 0c23819f..be35d505 100644
--- a/demo/listShop.ur
+++ b/demo/listShop.ur
@@ -1,13 +1,13 @@
structure I = struct
type t = int
- val toString = show _
- val fromString = read _
+ val toString = show
+ val fromString = read
end
structure S = struct
type t = string
- val toString = show _
- val fromString = read _
+ val toString = show
+ val fromString = read
end
structure IL = ListFun.Make(I)
diff --git a/demo/prose b/demo/prose
index 388dc00c..72c9cb6f 100644
--- a/demo/prose
+++ b/demo/prose
@@ -7,3 +7,7 @@ hello.urp
link.urp
<p>This is my second favorite.</p>
+
+listShop.urp
+
+<p>This is my other favorite.</p>