Media error: Format(s) not supported or source(s) not found
Download File: https://ftp.agdsn.de/ccc//events/bobkonf/2021/h264-hd/bob2021-88-eng-Higher-Kinded_Data_Types_by_Example_hd.mp4Download File: https://mirror.netcologne.de/CCC//events/bobkonf/2021/webm-hd/bob2021-88-eng-Higher-Kinded_Data_Types_by_Example_webm-hd.webmDownload File: https://ffmuc.media.ccc.de//events/bobkonf/2021/h264-sd/bob2021-88-eng-Higher-Kinded_Data_Types_by_Example_sd.mp4Download File: https://ftp.agdsn.de/ccc//events/bobkonf/2021/webm-sd/bob2021-88-eng-Higher-Kinded_Data_Types_by_Example_webm-sd.webm00:00
00:00 | 00:00