Hacker News Reader

I've always wondered -- is lambda calculus really supposed to be written with periods '.'? Or is everyone too lazy to use \cdot?

Periods. Sometimes other quantifiers like exists and all use them as well – to separate quantified variables from expression.