liquidhaskell-0.8.10.7: tests/terminate/neg/Even.hs

module Even () where

{-@ isEven, isOdd :: Nat -> Bool @-}
isEven :: Int -> Bool
isEven 0 = True
isEven n = isOdd  $ n

isOdd  0 = False
isOdd  m = isEven $ m - 1