world summary video

Pick anything below and it plays in the bar at the foot of the window — and keeps playing while you go on browsing the directory.

1. 1▶Yay Yay Conf raffle at Palmilla ValleyPromo VideosNotes
   +Watch later
2. 2▶Lambda World 2025 Summary VideoPromo VideosNotes
   +Watch later
3. 3▶From Lamed (𐤋) to Lambda (Λ): The Ancient Root Behind Lambda WorldPromo VideosNotes
   +Watch later
4. 4▶Lambda World 24 Summary VideoPromo VideosNotes
   +Watch later
5. 5▶Zainab Ali introduces her workshop on Supercharging your Streams!Promo VideosNotes
   +Watch later
6. 6▶Agda and Lean: functional programming meets proving with Juanjo Madrigal and Jorge MayoralPromo VideosNotes
   +Watch later
7. 7▶Stephen Taylor will be giving a talk about Array Languages at Lambda World 24Promo VideosNotes
   +Watch later
8. 8▶Lambda World 2024 - CadizPromo VideosNotes
   +Watch later
9. 9▶Lambda World 2024 is BACK!Promo VideosNotes
   +Watch later