guile-acl2.git/language/acl2, branch master 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 Add boilerplate codes for create programming language. 2021-03-29T18:54:02Z Masaya Tojo masaya@tojo.tokyo 2021-03-29T17:39:53Z urn:sha1:e7f9256c096ca8975738ceeb3dad0b841ca434e3