Alterações feitas no enunciado do trabalho prático de LP

• Versão original.

• Alteração da data de entrega para dia 4 de Junho.

• No Exemplo 6.5.1 faltava o terceiro passo da redução:

  (\z.(\s.s z) (\n.\c.\d.n c (c d))) (\a.\b.b)
  -> (\s.s (\a.\b.b)) (\n.\c.\d.n c (c d))
  -> (\n.\c.\d.n c (c d)) (\a.\b.b)
  -> \c.\d.(\a.\b.b) c (c d)
  -> \c.\d.(\b.b) (c d)
  -> \c.\d.c d