# Guile-ACL2

An implementation of Guile's ACL2 (A Computational Logic for Applicative Common
Lisp) compiler.