/exercise2/test2.TLBN
Unknown | 2 lines | 2 code | 0 blank | 0 comment | 0 complexity | d88bbb5e3fb087d2425e7f0d03c7bd42 MD5 | raw file
1app (fix (abs (ie:->(Int, Bool). abs(x:Int. if =(0, x) then true 2 else if =(0, -(x, 1)) then false else app(ie, -(x, 2)) fi fi))), 7)