From fd6bc1887fecca5338e7d5660d56a4038c805d96 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 29 May 2012 23:34:24 +1000
Subject: Range stuff better, RecursiveFixpoint broken.

---
 impl/systems/basic-range | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 impl/systems/basic-range

(limited to 'impl/systems')

diff --git a/impl/systems/basic-range b/impl/systems/basic-range
new file mode 100644
index 0000000..c6bf8fa
--- /dev/null
+++ b/impl/systems/basic-range
@@ -0,0 +1,2 @@
+x = [0, 1]
+y = -[0, 1]
-- 
cgit v1.2.3