diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-30 00:29:24 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-30 03:54:02 +0900 |
| commit | 019956fcc05c4da494f144758fe89e6679b2b5e9 (patch) | |
| tree | 52246c874c229aed6b6a8bf0c916496642ab63ed /README.md | |
| parent | 1ed56ef29ce80df850971fa01057496be86436e0 (diff) | |
Change synopsis and description.
* Makefile.am,
guix.scm,
pre-inst-env.in
README.md: Change synopsis and description.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,3 +1,4 @@ # Guile-ACL2 -Guile-ACL2 is a compiler from ACL2 to Guile. +An implementation of Guile's ACL2 (A Computational Logic for Applicative Common +Lisp) compiler. |