Nem sempre, né?
O que aconteceu foi o seguinte. Eu já tinha posto uma versão anterior
desse material no Arxiv, e eu precisava que o meu texto ficasse o mais
claro possível por um monte de motivos... e o motivo principal era que
eu tava tentando aprender Agda pra escrever a implementação em Agda da
Muito legal Eduardo! so' dei uma olhada rapida, mas me parece muito legal o
projeto.
so' acho que em vez de mandar ver um manuscrito de 60 paginas voce teria
mais chances de feedback se fizesse 3 papers de 20 paginas. ou se fizesse
uns blog posts de 2 paginas. porque um texto de 60 paginas requer
