YujiHaskellとプリキュアが好き。眠り、よくコードを書きたい。AttendeeshaskellheadsHaskell、F#、Rust、elmを勉強中の底辺プログラマー。プログラムを書いています。Attendeespolymonyrks趣味でHaskell、Agda。未来の速読・熟読ガジェットを開発中。(https://you...翌日のProofSummitも参加します。AttendeesilyaletreSDN技術を用いたネットワークサービスの開発をしています。仕事ではPythonを使います。Cancelt-uchida遅くなりましたが、体調が良くないため欠席致します。