• Funzioni booleane
• Fibonacci
• Scope lessicale
• Versione tail-recursive di sum
• sum, product e loro generalizzazione
• Valutazione classi
• Operatori - precedenze
• IntSet: metodo add
• IntSet: metodo union
• IntSet: i metodi remove e intersect
• Metodi List
• Classi per i tipi base
• Expr: metodo simplify
• Liste: init[T]
• Alberi binari
• Liste: removeAt
• Liste: take e drop
• Implementazione delle formule proposizionali
• Liste: funzioni pack, encode, decode
• Correttezza: elemento neutro di concat