Hello,

I'm a comp. sci undergrad student in my second year. I'm studying at IIIT-Hyderabad in India.
I'm looking for companies that want summer interns for functional programming or
pure mathematics related to FP (category theory, type theory, HoTT..).

My github is here: http://github.com/bollu

Math.stackexhcange: http://math.stackexchange.com/users/261373/siddharth-bhat

Thanks,

Siddharth