main :: () -> void { print_u64 fibo(10); }; f :: (a:u64,b:u64)->u64{ return b-a; }; fibo :: (a:u64)->u64{ if a == 0 return 1; else if a == 1 return 1; else return fibo(a-1)+fibo(a-2); };