Replace usage of zipWith (^) with (^) in a book example.

Fixes #803.
GaloisInc · Sep 23, 2020 · ca6ac40 · ca6ac40
1 parent 2f91929
commit ca6ac40
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex b/docs/ProgrammingCryptol/crashCourse/CrashCourse.tex
@@ -3346,8 +3346,8 @@ \section{Program structure with modules}
 
 hmac : {keySize, msgSize} (fin keySize, fin msgSize) => [keySize] -> [msgSize] -> [512]
 hmac k m = sha3 (ko # sha3 (ki # m))
- where ko    = zipWith (^) kFull (join (repeat 0x5c))
-       ki    = zipWith (^) kFull (join (repeat 0x36))
+ where ko    = kFull ^ join (repeat 0x5c)
+       ki    = kFull ^ join (repeat 0x36)
        kFull = if `keySize == blocksize
                  then take (k#zero)
                  else sha3 k