ruicc
(ruicc)

利用開始日: 2013/01/10

エンジニア。Haskell, Vim, Classical musicを好む。Violin少々。Mac使用。Bruckner, Shostakovich, Bach, Chopin.

型理論に興味があります。

ブックマークはありません。