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