README.md - guile-acl2.git - An implementation of Guile's ACL2 (A Computational Logic for Applicative Common Lisp) compiler.

about summary refs log tree commit diff

path: root/README.md

blob: a058ffe34b94043a3f6dc8a659dae66758eab1f3 (plain)

1
2
3

# Guile-ACL2

Guile-ACL2 is a compiler from ACL2 to Guile.