main is usually a function

char* main = "usually a programming blog";

Showing posts with label type-theory. Show all posts
Showing posts with label type-theory. Show all posts
Tuesday, October 19, 2010

Quantification in Haskell

›
I wrote an answer over at Stack Overflow that somehow grew to article length. Here it is, recorded for posterity. I'll paraphrase the o...
39 comments:
›
Home
View web version

About Me

keegan
View my complete profile
Powered by Blogger.