A9d4858d0a9d9d70782e33f1e64363cd?s=128

eldesh

eldesh

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

blog:http://d.hatena.ne.jp/eldesh/
twitter:https://twitter.com/eldesh/