/exercise2/test2.TLBN

http://sauce-code.googlecode.com/ · Unknown · 2 lines · 2 code · 0 blank · 0 comment · 0 complexity · d88bbb5e3fb087d2425e7f0d03c7bd42 MD5 · raw file

  1. app (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)