guile-acl2.git, 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.
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
Add .gitignore file.
2021-03-29T18:54:02Z
Masaya Tojo
masaya@tojo.tokyo
2021-03-29T16:34:25Z
urn:sha1:7bdba0a138750d543d4e4dc1e620adc5f3e9aeb8
* .gitignore: New file.
Change synopsis and description.
2021-03-29T18:54:02Z
Masaya Tojo
masaya@tojo.tokyo
2021-03-29T15:29:24Z
urn:sha1:019956fcc05c4da494f144758fe89e6679b2b5e9
* Makefile.am,
guix.scm,
pre-inst-env.in
README.md: Change synopsis and description.
Apply LGPLv3.
2021-03-29T18:50:33Z
Masaya Tojo
masaya@tojo.tokyo
2021-03-29T14:01:31Z
urn:sha1:1ed56ef29ce80df850971fa01057496be86436e0
Initial commit.
2021-03-29T18:50:32Z
Masaya Tojo
masaya@tojo.tokyo
2021-03-23T19:40:06Z
urn:sha1:ad207c351125f447db53a0a78eaa441e4b0039c8