+++ /dev/null
-import "StandardLibrary"
-
-mapping relation Fib Integer Integer
-
-rule FibRecurrence where
- @when
- Fib ?n (?a + ?b)
- ?n >= 2
-
- @where
- Fib (?n-1) ?b
- Fib (?n-2) ?a
-
-rule Init where
- @when
- Fib ?x 1
- ?x < 2
-
-rule Seed where
- @where
- Fib 20 ?hmm
-
-rule PrintIt where
- @when
- Fib ?n ?a
-
- @to
- Execute (print "\(?n) -> \(?a)")
-
-main = transformation OneShotForward where
---
-()