Working on my Ph. D. in math. I major in homotopy type theory.
I write Haskell. I take part in competitive programming at AtCoder with Haskell.
- Tokyo, Japan
Search results
0 open and 0 closed projects found.-
There aren't any projects yet