aboutsummaryrefslogtreecommitdiff

Guile-ACL2

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