Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
207 B · 6 lines
at develop
1234567function int: tak(int: x, int: y, int: z) = if y < x then tak(tak(x-1,y,z), tak(y-1,z,x), tak(z-1,x,y)) else z endif;constraint forall (i in 1..1000) (let {int: comp = tak(18, 12, 6); } in true );