hello i've got curious what elephant backends do people use, so i've made an online poll:
http://www.misterpoll.com/polls/373489 it has some other interesting questions too. please vote if you're using elephant, or even if you're only evaluating it. thanks. _______________________________________________ elephant-devel site list elephant-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/elephant-devel
