A blag containing my current adventures in logic, haskell and agents. Sunday, 1 May 2011. Slides about Martin-Löf type theory. Anyway, last year, I participated in the seminar Dependently typed programming given by Andres Löh and Doaitse Swierstra. I gave a presentation, or more of a lecture really, about Martin-Löf type theory, the Curry-Howard correspondence and some of its connections with Agda.

Monday, December 12, 2011. What have I been up to in the past month? Celebrating the thanksgiving holiday with family, loads of food, and tons of movies. Finishing up school and the oh so dreaded finals. Spending much needed time with my sisters. Testing out new tasty recipes.

Time is a companion that goes with us on a journey. It reminds us to cherish each moment, because it will never come again. What we leave behind is not as important as how we have lived. Monday, October 6, 2008. A terrific dream in the making. After going through extensive trainings and seminars, my mom and I decided to put up our own events management and catering business, called. Thanks to my ever reliable partner in crime,. For suggesting the name! We cater to all k.

Posted Sunday, June 29, 2014. We are finally unpacked although not all our stuff has found its home yet. Living Room, Dining Room and Kitchen. And since charcoal was on sale at Home Depot, we dec.

In Memory of Neeraj Desai. Sunday, January 23, 2011. From Times of India, Jan 15, 2011. Go for your run! Bhaskar has no family me.