4 ms·
I've always wondered -- is lambda calculus really supposed to be written with periods '.'? Or is everyone too lazy to use \cdot?
by queuebert 2y ago
I've always wondered -- is lambda calculus really supposed to be written with periods '.'? Or is everyone too lazy to use \cdot?
- IsTom 2y agoPeriods. Sometimes other quantifiers like exists and all use them as well – to separate quantified variables from expression.