guile-acl2.git/tests, 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 tests.
2021-03-29T18:54:02Z
Masaya Tojo
masaya@tojo.tokyo
2021-03-29T18:39:27Z
urn:sha1:e57bf57ed343a957568440ab4258b6c071962638
* tests/test-compile-acl2.scm: New file.
* Makefile.am (TESTS): Add `tests/test-compile-acl2.scm` file.