adoseoflogic blogspot.com

A dose of logic

A dose of logic. A blag containing my current adventures in logic, haskell and agents. Sunday, 1 May 2011. Slides about Martin-Löf type theory. Its been a while since my last update. 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. Download the slides here. Links to this post.
traffic

OVERVIEW

This web page adoseoflogic.blogspot.com currently has a traffic ranking of zero (the lower the superior). We have explored sixteen pages inside the domain adoseoflogic.blogspot.com and found zero websites referring to adoseoflogic.blogspot.com.
Pages Crawled
16

ADOSEOFLOGIC.BLOGSPOT.COM RANKINGS

This web page adoseoflogic.blogspot.com has seen a fluctuation levels of traffic within the past the year.
Traffic for adoseoflogic.blogspot.com

Date Range

1 week
1 month
3 months
This Year
Last Year
All time
Traffic ranking (by month) for adoseoflogic.blogspot.com

Date Range

All time
This Year
Last Year
Traffic ranking by day of the week for adoseoflogic.blogspot.com

Date Range

All time
This Year
Last Year
Last Month

LINKS TO WEB SITE

WHAT DOES ADOSEOFLOGIC.BLOGSPOT.COM LOOK LIKE?

Desktop Screenshot of adoseoflogic.blogspot.com Mobile Screenshot of adoseoflogic.blogspot.com Tablet Screenshot of adoseoflogic.blogspot.com

ADOSEOFLOGIC.BLOGSPOT.COM HOST

Our parsers identified that a lone page on adoseoflogic.blogspot.com took two hundred and thirty-four milliseconds to come up. We could not find a SSL certificate, so our crawlers consider adoseoflogic.blogspot.com not secure.
Load time
0.234 secs
SSL
NOT SECURE
Internet Protocol
0.0.0.0

WEBSITE IMAGE

SERVER OS AND ENCODING

I found that this domain is operating the GSE server.

PAGE TITLE

A dose of logic

DESCRIPTION

A dose of logic. A blag containing my current adventures in logic, haskell and agents. Sunday, 1 May 2011. Slides about Martin-Löf type theory. Its been a while since my last update. 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. Download the slides here. Links to this post.

CONTENT

This web page adoseoflogic.blogspot.com states the following, "A blag containing my current adventures in logic, haskell and agents." We saw that the webpage said " Sunday, 1 May 2011." It also said " Slides about Martin-Löf type theory. Its been a while since my last update. 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."

SEEK SIMILAR DOMAINS

A Dose of Lovely

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.

A Dose of Me.

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.

A Dose Of Mee

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.

a dose of neeraj

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.

A Dose of Positivity

This site is an endeavor to spread an attitude of positive thinking and optimism. By searching for joy and beauty in all things - even the mundane, perhaps a smile will spread from my computer . to you! GREAT quotes - from GREAT people! Pay It Forward Fridays. Saturday, October 19, 2013.