idris-1.3.1: test/regression002/Negation.idr

f : Int -> Int
f (-1) = 1