+
+Deleting target files if goals is interrupted, but only if the
+timestamp changes (what about non-*files?). Also: atomic code. This
+will delete the target if the code doesn't run to completion. (make
+doesn't do this, but probably it should).
+
+Implement parallel builds.
+
+Conditional sections (same as "ifeq" etc in make).
+
+Let within functions and goals, eg:
+ function foo () =
+ let temp = "%bar%baz";
+ { .... }
+Unclear if this would be helpful or not.
+
+Implement more make functions, see:
+https://www.gnu.org/software/make/manual/html_node/Functions.html#Functions
\ No newline at end of file