From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 28 Jan 2020 10:49:34 +0000 (+0000)
Subject: Update TODO.
X-Git-Url: http://git.annexia.org/?p=goals.git;a=commitdiff_plain;h=acd025579097fa819c23382f00103d4760165993

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.