retrotexts

Welcome. In case we haven't met before, my name is N. Raghavendra. I am a mathematician, and I work at the Harish-Chandra Research Institute in Allahabad, India. This site is about my interests other than my work. Among these, my main fascination is the Himalaya, especially the Garhwal region, which forms the Western half of the state of Uttarakhand in India.

Right now, these are the things you can find here:

Photographs — mainly from my trips to Garhwal.
Articles — a few attempts at writing, again mostly about the Himalaya.
Agda — my efforts with Agda, a proof assistant which is also a dependently typed programming language.

Thanks for dropping by. If you have any comments on this site, do write to me at the email address at the bottom of this page.