Boston Lisp Users - Latest Comments in Peter Dillinger on ACL2s; Hans H�on BKNRhttp://boston-lisp.disqus.com/enTue, 22 Apr 2008 21:30:03 -0000Re: Peter Dillinger on ACL2s; Hans H�on BKNRhttp://ourdoings.com/boston-lisp/2008-04-22#comment-367563<p>Thanks. Maybe I'll speak about it at one of these meetings. This site is<br>implemented using Scheme.</p>brlewisTue, 22 Apr 2008 21:30:03 -0000Re: Peter Dillinger on ACL2s; Hans H�on BKNRhttp://ourdoings.com/boston-lisp/2008-04-22#comment-367177<p>I'm totally impressed how quickly you got this posted.</p>Geoff KnauthTue, 22 Apr 2008 19:53:41 -0000