Er Acorn et verktøysett eller et produkt? Hva er det egentlig? Kevin (@lacker) går gjennom hva Acorn faktisk er, og hvorfor det betyr noe for hvordan vi skriver og verifiserer matematikk.