Zander671/truth-table
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add license notice to top of truth-table.lisp

Browse Source
This commit is contained in:
Alexander Rosenberg 2024-09-03 17:58:41 -07:00
parent 62347e8b4d
commit 6be3a3b816
Signed by: Zander671
GPG Key ID: 5FD0394ADBD72730
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
truth-table.lisp
View File

@ -1,3 +1,18 @@
;; truth-table.lisp -- Generate truth tables from proposition strings
;; Copyright (C) 2024 Alexander Rosenberg
;;
;; This program is free software: you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or
;; (at your option) any later version.
;;
;; This program is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
;; GNU General Public License for more details.
;;
;; You should have received a copy of the GNU General Public License
;; along with this program. If not, see <https://www.gnu.org/licenses/>.
#+slynk (ql:quickload '(:uiop :with-user-abort) :silent t) #+slynk (ql:quickload '(:uiop :with-user-abort) :silent t)
(defpackage :truth-table (defpackage :truth-table