Ever used a language with a type system like Java? Take a look at a type system that's almost, but not entirely, totally unlike it! (I mean like Haskell's, if you've heard of that) Explore an interesting way to think about types and programs-- mathematically! (Some algebra required.) Learn about curry! Learn about proving things with types! I'll play fast and loose, though, so buckle up.