O Acorn é um conjunto de ferramentas ou um produto? O que é, realmente? Kevin (@lacker) explica o que é realmente o Acorn e por que isso é importante para a forma como escrevemos e verificamos matemática.