My fault, the site was screwed up for over an hour—it's a really bad idea to slip when typing "</p>" and type "<?p>" instead.
More like this
Lambda calculus started off with the simple, untyped lambda calculus that we've been talking about so far. But one of the great open questions about lambda calculus was: was it sound? Did it have a valid model?
(This is a revised repost of an earlier part of my Haskell tutorial.)
Haskell is a strongly typed language. In fact, the type system in Haskell is both stricter and more
expressive than any type system I've seen for any non-functional language. The moment we get beyond
When Cantor's set theory - what we now call naive set theory - was shown to have problems in
the form of Russell's paradox, there were many different attempts to salvage the theory. In
addition to the axiomatic approaches that we've looked at (ZFC and NBG), there were attempts
Only if you are working in PHP.
Ha, Ha. I thought the president had pulled this page one time.
Well, that might explain why comment numbers seem to be down lately ...
Maybe also the TypePad stuff is slowing people up ...
You still write in old-fashioned HTML? Markdown all the way for me,
thanks. It makes such a difference to the ease of writing, I just wish more
blogging and blog comment software supported it "built in". As it is, I have
to use Greasemonkey extensions to get a little 'Markdown' button on most web
pages.
I didn't even notice, because I was still ignoring the site after the TypeKey fiasco! (And playing with some virtual snails instead.) But I thought I'd better test whether the login managed to persist into another page. It got a bit scary as it seemed not to and then the form flickered and corrected itself. Now for the post button...
Must check type key
Just as long as doing it in comments doesn't work...