From a4a697ab04bac663206a54292d73f67ca895c243 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.urp | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 demo/metaform2.urp (limited to 'demo/metaform2.urp') diff --git a/demo/metaform2.urp b/demo/metaform2.urp new file mode 100644 index 00000000..debc0448 --- /dev/null +++ b/demo/metaform2.urp @@ -0,0 +1,3 @@ + +metaform +metaform2 -- cgit v1.2.3