diff --git a/docs/Semantics.pdf b/docs/Semantics.pdf
index 7d1d14ed..bd08577c 100644
Binary files a/docs/Semantics.pdf and b/docs/Semantics.pdf differ
diff --git a/src/Cryptol/Eval/Reference.lhs b/src/Cryptol/Eval/Reference.lhs
index 4850cfd6..740045d5 100644
--- a/src/Cryptol/Eval/Reference.lhs
+++ b/src/Cryptol/Eval/Reference.lhs
@@ -804,6 +804,16 @@ by corresponding typeclasses
 >                                   diff = y - x)
 >
 >   -- Miscellaneous:
+>   , ("parmap"     , VPoly $ \_a ->
+>                     VPoly $ \_b ->
+>                     VNumPoly $ \n ->
+>                     VFun $ \f ->
+>                     VFun $ \xs ->
+>                       -- Note: the reference implementation simply
+>                       -- executes parmap sequentially
+>                       let xs' = map (fromVFun f) (fromVList xs) in
+>                       VList n xs')
+>
 >   , ("error"      , VPoly $ \a ->
 >                     VNumPoly $ \_ ->
 >                     VFun $ \_s -> cryError (UserError "error") a)