wip10

1 files changed, 0 insertions, 31 deletions

diff --git a/rabbit-prover/syntax.scm b/rabbit-prover/syntax.scm
deleted file mode 100644
index 5087ea2..0000000
--- a/rabbit-prover/syntax.scm
+++ /dev/null
@@ -1,31 +0,0 @@
-;;; Rabbit Prover --- Prove S-expression
-;;; Copyright © 2020 Masaya Tojo <masaya@tojo.tokyo>
-;;;
-;;; This file is part of Rabbit Prover.
-;;;
-;;; Rabbit Prover 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.
-;;;
-;;; Rabbit Prover 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 Rabbit Prover.  If not, see <http://www.gnu.org/licenses/>.
-
-(define-module (rabbit-prover syntax)
-  #:export (define/guard))
-
-(define-syntax-rule (define/guard (name (var pred?) ...) b b* ...)
-  (define (name var ...)
-    (unless (pred? var)
-      (error (format #f
-                     "~a:~%  expected:  ~a~%  given: "
-                     'name
-                     'pred?)
-             var))
-    ...
-    b b* ...))