[new examples
martin.hofmann@uni-bamberg.de**20090831172202] hunk ./expl/Examples.hs 236
+lasts [[x,c,d],[e,f],[g]] = [d,f,g]
hunk ./expl/Examples.hs 244
+lengths :: [[a]] -> [Peano]
+lengths []   = []
+lengths [[]] = [Z]
+lengths [[a]] = [S Z]
+lengths [[b,a]] = [S(S Z)]
+--lengths [[c,b,a]] = [S(S(S Z)]
+lengths [[],[]] = [Z, Z]
+lengths [[],[a]] = [Z,S Z]
+lengths [[],[b,a]] = [Z,S(S Z)]
+
+lengths [[a],[]] = [S Z, Z]
+lengths [[b],[a]] = [S Z,S Z]
+lengths [[c],[b,a]] = [S Z,S(S Z)]
+
+lengths [[c,a],[]] = [S(S Z), Z]
+lengths [[b,a],[c]] = [S(S Z),S Z]
+lengths [[c,d],[b,a]] = [S(S Z),S(S Z)]
+