Area 51 » Anton Golov

177
reputation
12 views
discussion user
network profile

Registered User

name Anton Golov
member for 3 years
seen Feb 4 at 8:46
website
location Netherlands
age

I'm a student of mathematics and computer science at Utrecht University, currently fascinated by type theory and everything related to it. I started learning C++ in 2008, and have since then also picked up Python, C#, and Haskell. I'd like to learn Agda or Idris soon.

Apart from that, I play go (less often than I'd like), try to learn Lojban (with less success than I'd like), and am a member of Biton.

I am also known as jesyspa elsewhere on the net.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


1

Followed

108
followers

Tea

For everything tea-related, from Camellia Sinensis to your favorite blend. How to drink it, how to make it, how to enjoy the most of it...
define
commit
beta

1

Example Question


3

Votes Cast

3 up

0 down