[more examples
martin.hofmann@uni-bamberg.de**20090722082030] hunk ./expl/Examples.hs 416
+zeros :: [Peano] -> [Peano]
+zeros [] = []
+zeros [Z] = [Z]
+zeros [S x] = []
+zeros [Z,S x] = [Z]
+zeros [S x,Z] = [Z]
+zeros [S x,S y] = []
+zeros [Z,Z] = [Z,Z]
+zeros [Z,S x,S y] = [Z]
+zeros [S x,Z,S y] = [Z]
+zeros [S y,S x,Z] = [Z]
+zeros [Z,Z,S x] = [Z,Z]
+zeros [Z,S x,Z] = [Z,Z]
+zeros [S x,Z,Z] = [Z,Z]
+zeros [Z,Z,Z] = [Z,Z,Z]
+