From 0a968a947bef835882967012a18f9e27cf949c60 Mon Sep 17 00:00:00 2001 From: "Benjamin J. Culkin" Date: Sat, 3 Oct 2020 09:15:43 -0300 Subject: update --- todos.txt | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'todos.txt') diff --git a/todos.txt b/todos.txt index 0399ef6..b233b36 100755 --- a/todos.txt +++ b/todos.txt @@ -60,3 +60,9 @@ DONE(6/3/18) 10/11/17 Ben Culkin :Determinism This will probably entail the definition of some kind of error code type that can be conveniently returned and used. + +@TODO 7/8/2020 Ben Culkin :RecurLimit + Add some easy way to say that we only want to recur into a given rule once + in this context (could some sort of use of exhaustive rule vars. do this? + maybe. it's been a while since last I looked at the details of how this + project worked; and I doubt I left enough comments/other documentation) -- cgit v1.2.3