One more pro here! Whatever pro means! ;-) Using lisp in my day-by-day work as researchers in NLP and Logics. But recently working more to dependent type systems like http://leanprover.github.io. Best, -- Alexandre Rademaker http://arademaker.github.io