In yesterday's compsci 420 class Professor Mulry was discussing the wonderful concept of type expressions. When asked what the difference is between types and type expressions, he answered: "It's more of a meta-difference." Just thought I'd share that (don't be alarmed if you don't think it's funny...)

Welcome to faldara.com!

It's currently Monday morning, 2am, so it's about time for me to hit the sack. I'm still up because I've spent a good portion of today tweaking the site a little.