X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=TODO;h=4ed2e118ac375acb85d03b88b90055078fed3459;hb=7f776dee39a35732964a30091e55aa795169bca5;hp=8eb190d54de42fe2ae09aea1f3edcc38bcfd4d14;hpb=94430834302e922af6c27a1c88e13f862a57dd0f;p=goals.git

diff --git a/TODO b/TODO
index 8eb190d..4ed2e11 100644
--- a/TODO
+++ b/TODO
@@ -1 +1,6 @@
 'let :=' for immediate evaluation in assignment.
+
+Default parameters, ie:
+  goal foo (name, release = true) = ...
+You might only allow defaults to be added to the end, or you
+might allow goals to be called with labelled parameters.