Friday, February 20, 2009 1:38 PM
bart
Type Theory Essentials in Pictures – Part 1 – Hints
A few colleagues hinted kindly my post on Type Theory Essentials in Pictures – Part 1 – Quiz might be a little to subtle or non-obvious despite the verbal hints in the surrounding text. So I decided to give away the first couple of pictures (including titles that is) to set a bit more context.
Here’s the first one:
Infer from this what the dotted “hollow” box means, versus a solid colored one. Then looking at the second picture, you should be able to make the connection between a non-dotted hollow box and a solid one again:
Finally, let me give a hint about the faces: they are actors.
Answers will follow later, and then we’ll get into more serious concepts in parts 2 and 3. Happy puzzling!
Del.icio.us |
Digg It |
Technorati |
Blinklist |
Furl |
reddit |
DotNetKicks
Filed under: Type theory