rfunk | Today's little updates

12:55 researching programming languages, type inference, lambda calculus... should get lunch instead of following Wikipedia links. #
17:01 rained in. #
19:47 messing with OS X. *So* much better than Windows, and I see how it could almost be used as a replacement for Linux, if one were so inclined. #