From d7be5d49d48ee62e7cd2a16007e8002b80aa8fe5 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Fri, 27 Dec 2019 13:37:55 +0000
Subject: [PATCH] todo: Note default parameters.

---
 TODO | 5 +++++
 1 file changed, 5 insertions(+)

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.
-- 
1.8.3.1