GaloisInc/cryptol — pull request #109 by rcdickerson (2014-09-18 07:56:32+00:00)
Title: Changing some split examples in crash course to use splitBy instead.

The next section of this doc (*Type-directed splits*) starts off:

> We have studied the functions groupBy and splitBy above...

but the above section was actually using `split`.