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