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 -- 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/CAO6j_Lgd%2Bgj3XP-g%2Bqk_ngEna%2BPHB4FTTdG1NT4BqM45iaReEA%40mail.gmail.com.
