Hash cons, function memoization, and applicative hash tables
ACL2 supports hash cons, function memoization, and applicative hash tables; see hons-and-memoization. These are sometimes called the ``hons-enabled features'' of ACL2.
