From b09948d77c8825f68a30d5785e6841e5b96664d7 Mon Sep 17 00:00:00 2001 From: Alexander Rosenberg Date: Wed, 4 Sep 2024 03:16:05 -0700 Subject: [PATCH] Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index f6dabe8..d575924 100644 --- a/README.md +++ b/README.md @@ -4,13 +4,13 @@ please see the [relevant Wikipedia article][1]. [1]: https://en.wikipedia.org/wiki/Truth_table -To build, just run `make`. You will need SBCL, as well as Quicklisp. Quicklisp -is used to load `uiop` and `with-user-abort`. +To build, just run `make`. You will need SBCL, ASDF, and Quicklisp. Quicklisp is +used to load `uiop` and `with-user-abort`. The format of the input propositions is fairly free-form. The above Wikipedia article has some information about their format, as well as possible symbols for operators. You can also take a look at the table near the top of -`truth-table.lisp` for all the variations supported by this program. +`parse.lisp` for all the variations supported by this program. Here is the help output from the program: ```text