Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)
-
Indeed.com
- http://d.hatena.ne.jp/na4zagin3/
Highlights
- Pro
Earned achievements
Pair Extraordinaire
Pair Extraordinaire
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
Starstruck
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading