1 files changed, 4 insertions, 3 deletions
diff --git a/guix.scm b/guix.scm
index 38c8856..b55185e 100644
--- a/guix.scm
+++ b/guix.scm
@@ -1,4 +1,4 @@
-;;; Guile-ACL2 --- A Compiler from ACL2 to Guile
+;;; Guile-ACL2 --- Guile's ACL2 compiler
 ;;; Copyright © 2021 Masaya Tojo <masaya@tojo.tokyo>
 ;;;
 ;;; This file is part of Guile-ACL2.
@@ -41,8 +41,9 @@
        ("texinfo" ,texinfo)))
     (inputs
      `(("guile" ,guile-3.0)))
-    (synopsis "A Compiler from ACL2 to Guile")
-    (description "Guile-ACL2 is a compiler from ACL2 to Guile.")
+    (synopsis "Guile's ACL2 compiler")
+    (description "This package provides an implementation of Guile's ACL2 (A Computational
+Logic for Applicative Common Lisp) compiler.")
     (home-page "https://git.tojo.tokyo/guile-acl2.git")
     (license license:gpl3+)))