From: Richard W.M. Jones Date: Tue, 28 Jan 2020 10:49:34 +0000 (+0000) Subject: Update TODO. X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=acd025579097fa819c23382f00103d4760165993;p=goals.git Update TODO. --- diff --git a/TODO b/TODO index 9977889..d620a98 100644 --- a/TODO +++ b/TODO @@ -44,3 +44,11 @@ the moment. Some kind of “source” directive. If goals sees this then it automatically sources the parameter (a shell script) into every shell command. + +Allow code sections to be written in other languages, eg OCaml, +Python, etc. The syntax might look like: + {#!OCAML + ocaml code + } +Also provide better integration, so we can accurately pass predicate +constructors into these other language sections.