# ob-acl2

**THIS CODE IS VERY DANGEROUS. It automatically executes an ACL2 program on the `*shell*` buffer.**

Org-babel functions for ACL2.

# Usage

First, Run ACL2 in `*shell*` buffer of Emacs.

```
$ acl2
```

Second, use org-babel.

# LICENSE

See COPYING file.