Add boilerplate codes for create programming language.

1 files changed, 24 insertions, 0 deletions

diff --git a/language/acl2/parse.scm b/language/acl2/parse.scm
new file mode 100644
index 0000000..fee7bf6
--- /dev/null
+++ b/language/acl2/parse.scm
@@ -0,0 +1,24 @@
+;;; Guile-ACL2 --- Guile's ACL2 compiler
+;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
+;;;
+;;; This file is part of Guile-ACL2.
+;;;
+;;; Guile-ACL2 is free software; you can redistribute it and/or modify
+;;; it under the terms of the GNU Lesser General Public License as
+;;; published by the Free Software Foundation; either version 3 of the
+;;; License, or (at your option) any later version.
+;;;
+;;; Guile-ACL2 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
+;;; Lesser General Public License for more details.
+;;;
+;;; You should have received a copy of the GNU Lesser General Public
+;;; License along with Guile-ACL2.  If not, see
+;;; <http://www.gnu.org/licenses/>.
+
+(define-module (language acl2 parse)
+  #:export (read-acl2))
+
+(define (read-acl2 p)
+  '())