Casper também usa uma forma diferente de para todo, já que nem o gramado e nem a estrada estão vivos.
P Em qui., 2 de jul. de 2020 às 14:35, Joao Marcos <[email protected]> escreveu: > Teaching dependent type theory to 4 year olds via mathematics > > https://xenaproject.wordpress.com/2020/06/27/teaching-dependent-type-theory-to-4-year-olds-via-mathematics/amp/ > > > 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_LiUwKt239TJbyEj88Y5Br9N-rt4vsW077OiLSBZSCrcUQ%40mail.gmail.com > . > -- 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/CACRvmVTpRX5qUpYVaEYQ6NvvP%2B4UvZDbWnRfMbZW8%3D2oVy042Q%40mail.gmail.com.
