From ad207c351125f447db53a0a78eaa441e4b0039c8 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 24 Mar 2021 04:40:06 +0900
Subject: Initial commit.

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 README.md

(limited to 'README.md')

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..a058ffe
--- /dev/null
+++ b/README.md
@@ -0,0 +1,3 @@
+# Guile-ACL2
+
+Guile-ACL2 is a compiler from ACL2 to Guile.
-- 
cgit v1.2.3