17 Mar
2009
17 Mar
'09
4:03 p.m.
QED
2009/3/17 Daniel Schüssler
(correction of the example)
(105: ) (106: A) (107: X,B) (108: C,D) (109: E ) (110: )
moving down X will result in either
(105: A) (106: B) (107: X ) (108: C,D) (109: E ) (110: )
or equivalently
(105: ) (106: A) (107: B ) (108: X ) (109: C,D) (110: E) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
-- We can't solve problems by using the same kind of thinking we used when we created them. - A. Einstein