Files
truth-table/eval.lisp