Update TODO.

diff --git a/TODO b/TODO
index 9977889..d620a98 100644 (file)
--- 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.