Počevši s 10.9., u hacklabu ćemo krenuti s čitanjem knjige Benjamina Piercea i dr., Software Foundations. Knjiga se bavi funkcijskim programiranjem, logikom te teorijom programskih jezika (lambda računom, statičkim tipiziranjem, ...) kroz prizmu Coqa, sustava za dokazivanje teorema koji je ujedno i funkcijski programski jezik.

Nalazili bismo se jednom tjedno i diskutirali dijelove knjige i rješenja zadataka. Ideja za prvi sastanak je:

• upoznati se s knjigom,
• namjestiti radno okruženje za Coq na omiljenim nam operacijskim sustavima,
• dogovoriti način rada i plan i program za prvi tjedan.

Počinjemo u 19:30 h.