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 -- Sending this from my phone, please excuse any typos!