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
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.