@fortunan

a developer of embedded computer programming. skill:C, C++, ruby, java, processing. recently interest: haskell(still learning), coq(not yet),Erlang(not yet)