From 01c379cbff1dd59486da18916a49530ea0dd4f87 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 28 Nov 2012 16:56:45 -0500 Subject: Allow any FFI module to declare new HTML tags --- demo/subforms.ur | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'demo/subforms.ur') diff --git a/demo/subforms.ur b/demo/subforms.ur index 71bd1e82..62e3cc87 100644 --- a/demo/subforms.ur +++ b/demo/subforms.ur @@ -13,7 +13,7 @@ fun sub r = end -fun subforms n = +fun subfrms n = if n <= 0 then else @@ -22,13 +22,13 @@ fun subforms n =

{[n]}:

- {subforms (n - 1)} + {subfrms (n - 1)} fun form n = return