[mackwic]

You forgot OCaml, our national pride ! Our CS researcher have a large expertise in proofs and static analysis with Coq, Coccinelle and the like.

[aikah]

yep, and TurboPascal and Delphi ,then I moved abroad to study and I didnt even know C ...