[erlang-questions] Stockholm User Group presentation yesterday

[Matthias Lang]

Hi,

yesterday, a couple of dozen of us visited one of the newer Erlang
companies in Stockholm, Kreditor*, to listen to Kostis' presentation
about some of the type-based development/verification/testing/documentation 
tools his group has been working on as well as some innovative ways to
use editors in live demonstrations.

Thanks to Erik and Francesco for organising it, and to Kostis for
presenting a lucid and practical session.

Matt

 * www.kreditor.se, there's a little flag up the top right to switch languages)