Changing some split examples in crash course to use splitBy instead.
Changing some split examples in crash course to use splitBy instead.

ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol