An implementation of Guile's ACL2 (A Computational Logic for Applicative Common Lisp) compiler. http://git.tojo.tokyo/guile-acl2.git/atom?h=master 2021-03-29T18:54:02Z 2021-03-29T18:54:02Z Masaya Tojo masaya@tojo.tokyo 2021-03-29T16:34:25Z urn:sha1:7bdba0a138750d543d4e4dc1e620adc5f3e9aeb8 * .gitignore: New file.