From 39eec9c90bb6747aa81cc13662d4e358eb646b3e Mon Sep 17 00:00:00 2001 From: Rob Dockins Date: Thu, 2 Jul 2020 15:34:44 -0700 Subject: [PATCH] Update CHANGES --- CHANGES.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index 43a8e6d9..abd1a2df 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -87,6 +87,12 @@ wait for the first _successful_ result to be returned from a prover, instead of failing as soon as one prover fails. +* An experimental `parmap` primitive that applies a function to a + sequence of arguments and computes the results in parallel. This + operation should be considered experimental and may significantly + change or disappear in the future, and could possibly uncover + unknown race conditions in the interpreter. + ## Bug fixes * Closed issues #346, #444, #614, #617, #636, #660, #662, #663, #664, #667, #670,