diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-05-29 23:34:24 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-05-29 23:34:24 +1000 |
| commit | fd6bc1887fecca5338e7d5660d56a4038c805d96 (patch) | |
| tree | ecc0f2188724834565b1f24705f3e90470ac37a7 /impl/systems/basic-range | |
| parent | e043ee06a51a8d8c68f8cb0984d4f7bd8915bea8 (diff) | |
Range stuff better, RecursiveFixpoint broken.
Diffstat (limited to 'impl/systems/basic-range')
| -rw-r--r-- | impl/systems/basic-range | 2 |
1 files changed, 2 insertions, 0 deletions
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] |