run-check.txt
tiny-logic.lisp
tiny.lisp