From 36952b2e49afdb4ba8024eb6372992e4b5d8df7a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 6 Nov 2008 17:09:53 -0500 Subject: About to begin optimization of recursive transaction functions --- demo/tree.urp | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 demo/tree.urp (limited to 'demo/tree.urp') diff --git a/demo/tree.urp b/demo/tree.urp new file mode 100644 index 00000000..2270dd06 --- /dev/null +++ b/demo/tree.urp @@ -0,0 +1,6 @@ +debug +database dbname=tree +sql tree.sql + +treeFun +tree -- cgit v1.2.3