3 ms·Lamda calculus cannot be called universal because it would be too limiting1 points by djfm 10y ago