diff tests/dlist.urp @ 601:7c3c21eb5b4c

Initial experiments with nested <dyn>
author Adam Chlipala <adamc@hcoop.net>
date Tue, 13 Jan 2009 15:17:11 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/dlist.urp	Tue Jan 13 15:17:11 2009 -0500
@@ -0,0 +1,3 @@
+debug
+
+dlist