@@ -912,10 +912,6 @@ Intermediate values can be calculated using ``let`` bindings:
912 showPerson p = let MkPerson name age = p in
912 showPerson p = let MkPerson name age = p in
913 name ++ " is " ++ show age ++ " years old"
913 name ++ " is " ++ show age ++ " years old"
915− splitAt : Char -> String -> (String, String)
916− splitAt c x = case break (== c) x of
917− (x, y) => (x, strTail y)
919We can do simple pattern matching in ``let`` bindings too. For
915We can do simple pattern matching in ``let`` bindings too. For
920example, we can extract fields from a record as follows, as well as by
916example, we can extract fields from a record as follows, as well as by
921pattern matching at the top level:
917pattern matching at the top level: