liquidhaskell-0.8.10.7: benchmarks/nofib/imaginary/tak/Main.hs

import System.Environment


-- code of unknown provenance (partain 95/01/25)

tak :: Int -> Int -> Int -> Int

tak x y z = if not(y < x) then z
       else tak (tak (x-1) y z)
		(tak (y-1) z x)
		(tak (z-1) x y)

main = do
	[xs,ys,zs] <- getArgs  
	print (tak (read xs) (read ys) (read zs))