14 lines
233 B
Text
14 lines
233 B
Text
( ( time
|
|
= fun funarg t0 ret
|
|
. !arg:(?fun.?funarg)
|
|
& clk$:?t0
|
|
& !fun$!funarg:?ret
|
|
& (!ret.flt$(clk$+-1*!t0,3) s)
|
|
)
|
|
& ( fib
|
|
=
|
|
. !arg:<2&1
|
|
| fib$(!arg+-1)+fib$(!arg+-2)
|
|
)
|
|
& time$(fib.30)
|
|
)
|