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 ==