I'm studying Math at University of Tsukuba.
My main interests are mathematical logic, set theory, computability theory and type theroy. I'd love to write programs in Haskell. This slideshare account provides slides mainly about Haskell, functional programming and formal methods.
We¡¯ve updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
