Update TODO.

[goals.git] / TODO

diff --git a/TODO b/TODO
index 945d71a..d620a98 100644 (file)
--- a/TODO
+++ b/TODO
@@ -39,4 +39,16 @@ but it evaluates the output of a function as Goalfile syntax).
 
 Implement make-like “origin” function.  This is easy but it requires
 us to track to the origin of definitions which we do not do at
-the moment.
\ No newline at end of file
+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.