From: Richard W.M. Jones Date: Wed, 26 Feb 2020 13:48:12 +0000 (+0000) Subject: More suggestions for TODO. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=0c83549ca2d42c26c0c9c2c5164247927d284adc;p=goals.git More suggestions for TODO. --- diff --git a/TODO b/TODO index d620a98..f3a7650 100644 --- a/TODO +++ b/TODO @@ -52,3 +52,8 @@ Python, etc. The syntax might look like: } Also provide better integration, so we can accurately pass predicate constructors into these other language sections. + +Limit parallelism within the Goalfile (like make's .NOPARALLEL), +something like ‘let max_jobs = 8’ + +Hash table structure.