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
Block or Report
Block or report gksato
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
haskell-atcoder-server-gen
haskell-atcoder-server-gen PublicSimple Project for Automated creation of the proposal of Haskell language environment for AtCoder Language Update.
Makefile 2
-
-
-
haskell-bv
haskell-bv PublicForked from IagoAbal/haskell-bv
Bit-vector arithmetic library for Haskell
Haskell
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.