From a2495d384c7747a079cb0f4bc31f44d626391068 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 23 Oct 2008 14:03:12 -0400 Subject: Metaform demos, minus prose --- demo/metaform2.ur | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 demo/metaform2.ur (limited to 'demo/metaform2.ur') diff --git a/demo/metaform2.ur b/demo/metaform2.ur new file mode 100644 index 00000000..430a42f0 --- /dev/null +++ b/demo/metaform2.ur @@ -0,0 +1,12 @@ +structure MM = Metaform.Make(struct + val names = {X = "x", Y = "y"} + end) + +fun diversion () = return + Welcome to the diversion. + + +fun main () = return +
  • See something shiny!
    • +
  • Fill out a form!
    • +     -- cgit v1.2.3