yumcyawiz (@yumcyawiz)

4 Followers
This user hasn't published any decks.
This user hasn't published any decks.

eldesh

eldesh

C++, SML, MLが好きなプログラマ。
正しいコードを書く方法に興味がある。型好きが高じて最近の注目技術はVeriFast。

blog:http://d.hatena.ne.jp/eldesh/
twitter:htt...

0 followers 3 decks