Scala好き。Haskell, Coq, Agda, Spark, 機械学習はまだミテルだけ
Following Organizations
No Organizations you are following
Following tags
No tags you are following
Contributions
sent an edit request to this article
edit request to this article is accepted
sent an edit request to this article
edit request to this article is accepted
sent an edit request to this article
edit request to this article is accepted
sent an edit request to this article
edit request to this article is accepted
sent an edit request to this article
edit request to this article is accepted