Fantástico! Como o poema diz, "we may be stupid, but machines for sure are not" :-)
Mas esse cara é um gênio - type theory jamais vai produzir um tal poema! Feliz 2021, W. Em seg, 28 de dez de 2020 07:10, <[email protected]> escreveu: > [email protected] > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> > Grupos > do Google > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email/#!overview> > Resumo por e-mail dos temas > Ver todos os temas > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/topics> > > - My First Type Theory <#m_-2642103033828923258_group_thread_0> - 1 > atualização > > My First Type Theory > <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/a1085f33de077ac8?utm_source=digest&utm_medium=email> > Joao Marcos <[email protected]>: Dec 27 11:22PM -0300 > > alguns dos colegas talvez curtam este poeminha: > https://youtu.be/BQNOjum8YlU > > (presentinho de Natal atrasado, completo com definições e demonstrações em > Agda) > > JM > Voltar ao início <#m_-2642103033828923258_digest_top> > Você recebeu esse resumo porque está inscrito para receber atualizações > deste grupo. Você pode alterar suas configurações na página de associação > do grupo > <https://groups.google.com/a/dimap.ufrn.br/forum/?utm_source=digest&utm_medium=email#!forum/logica-l/join> > . > Para cancelar sua inscrição neste grupo e deixar de receber e-mails do > mesmo, envie um e-mail para [email protected]. > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OXQK%2BwRnMJ-9y6hvVvQVwu1nkSRV3jk%3D6_qOdcsO_0NQ%40mail.gmail.com.
