README: Add the TODO about define-pbf.

README.org

@@ -71,6 +71,22 @@ interaction with Org-mode.
        as I go.
     4. When done, remove =A-untyped.rkt=.
 
+*** TODO Implement a shorter syntax for defining Boolean functions
+    Right now, this is how one defines the Boolean function:
+
+    #+BEGIN_SRC racket :results output silent
+(define (update-go st)
+  (auto-hash-ref/:
+   st
+   (or (and (not :Go) :new-x) (and :Go :old-x))))
+    #+END_SRC
+
+    It would be nice and probably not too difficult to implement
+    a macro allowing for a syntax like the following one:
+    #+BEGIN_SRC racket :results output silent
+(define-pbf my-pbf (or (and (not :Go) :new-x) (and :Go :old-x)))
+    #+END_SRC
+
 *** TODO Split =networks= into general networks and threshold Boolean networks
 *** TODO Submit =update-graph= to =stchang=
 *** TODO Implement the BN \to RS conversion