integerNegate.stderr 212 Bytes
Newer Older
Sylvain Henry's avatar
Sylvain Henry committed
1 2 3 4 5 6 7 8 9 10

==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 3, types: 3, coercions: 0, joins: 0/0}

-- RHS size: {terms: 2, types: 1, coercions: 0, joins: 0/0}
neg_neg = \ x -> x