Codebase list cafeobj / 64e95c4
type! tswd 5 years ago
1 changed file(s) with 1 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+1
-1
chaos/tools/set.lisp less more
7171 trace-on
7272 trace-off)
7373 ("step" nil parity *rewrite-stepping* "stepwise rewriting process." step-on step-off)
74 ("memo" ("size") general *term-idlimit*
74 ("memo" ("size") general *term-id-limit*
7575 "limit of term size in term hash used for term memoization."
7676 set-term-id-size-limit)
7777 ("memo" nil parity *memo-rewrite* "enable term memoization.")