Il sistema formale inventato da Alonzo Church negli anni '30. Tutto è una funzione — numeri, booleani, strutture dati. Esplora ogni concetto con codice JavaScript eseguibile.