¿Cómo lo podemos implementar?

A la hora de implementar el cálculo $\lambda$ en Haskell, tenemos cierto grado de libertad en elegir cómo queremos representar las abstracciones lambda.

1. Con nombres
2. Con índices de Bruijn
3. Con…