D-CON

Download

d-con@lists.rwth-aachen.de

November 2021

1 participants
1 discussions

“Lambda Cube Unboxed”
by Uwe Nestmann 19 Nov '21

19 Nov '21

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

1 0