morghenuts

abbiamo iniziato un TAPL book club al lavoro... https://www.cis.upenn.edu/~bcpierce/tapl/ vediamo come gira. Mi sto leggendo il primo capitolo. Direi che da quando ho capito che un type system e' un caso specifico di proof system la cosa ha cominciato ad interessarmi molto di piu' (teoricamente).

bel libro TAPL

whoa quanti voti https://dev.clojure.org/jira/browse/CLJ-1959