fib.formal
· 277 B · Text
原始文件
Playground
<> (defer ?x) (?x)
<> ((Num 0) + (Num ?n)) ((Num ?n))
<> ((Num ?n) + (Num 0)) ((Num ?n))
<> ((Num ?x) + (Num ?y)) ((Num @add ?x ?y))
<> (fib (Num 0)) ((Num 0))
<> (fib (Num 1)) ((Num 1))
<> (fib (Num ?n)) (defer fib (Num @sub ?n 1) + defer fib (Num @sub ?n 2))
fib (Num 12)
| 1 | <> (defer ?x) (?x) |
| 2 | |
| 3 | <> ((Num 0) + (Num ?n)) ((Num ?n)) |
| 4 | <> ((Num ?n) + (Num 0)) ((Num ?n)) |
| 5 | <> ((Num ?x) + (Num ?y)) ((Num @add ?x ?y)) |
| 6 | |
| 7 | <> (fib (Num 0)) ((Num 0)) |
| 8 | <> (fib (Num 1)) ((Num 1)) |
| 9 | <> (fib (Num ?n)) (defer fib (Num @sub ?n 1) + defer fib (Num @sub ?n 2)) |
| 10 | |
| 11 | fib (Num 12) |
| 12 |