Recordings of many of the talks of FLOPS 2026 are now available! https://functional-logic.org/events/flops/2026/schedule/