Dan Licata went through some more agda material continuing a similar talk he gave monday that I unfortunately missed. I think I still got most of it. Can't seem to successfully use Agda on Windows, though... the installer finished (after an hour!) but NTEmacs just hangs when I run it. I am sort of weary of these giant software systems that really don't feel like they should have to be so giant.
Saw "Cronocrimenes" ("Timecrimes") down at the Harris with a bunch of people. A well constructed low-budget time-travel thriller. Like a very, very dark version of Bill and Ted, or someone's idea of remaking Primer so that you actually understand what happened when you walk out of the theater. (8/10)