Hi all, Have you ever wanted to better understand the λ-Cube? Four bright students of mine produced a series of 13 screencasts covering the “Lambda Cube Unboxed” as a semester project in CS. Have fun! https://www.youtube.com/playlist?list=PLNwzBl6BGLwOKBFVbvp-GFjAA_ESZ--q4 == Uwe ==