From f159f01dfe249107a630833d58af9582f8fcc4ec Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 3 May 2009 15:53:29 -0400 Subject: subforms demo --- demo/subforms.ur | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 demo/subforms.ur (limited to 'demo/subforms.ur') diff --git a/demo/subforms.ur b/demo/subforms.ur new file mode 100644 index 00000000..71bd1e82 --- /dev/null +++ b/demo/subforms.ur @@ -0,0 +1,43 @@ +fun sub r = + let + fun sub' ls = + case ls of + [] => + | r :: ls => +
  • {[r.Num]} = {[r.Text]}
    • + {sub' ls} +     + in + return + {sub' r.Lines} + + end + +fun subforms n = + if n <= 0 then + + else + + + +
  • {[n]}:
    • +     + {subforms (n - 1)} +     + +fun form n = return +
    + + {subforms n} + + + + + One more blank
    + {if n > 0 then + One fewer blank + else + } + + +fun main () = form 1 -- cgit v1.2.3