This functional programming unconference took place at Lambda World 2019 in Cádiz, Spain.
Speaker 1 (begins at 0:00:14 - https://youtu.be/KGBLX0y-55U?t=14):
Alejandro Serrano
https://www.twitter.com/trupill
Talk: Agda´s Greatest Hit
Speaker 2 (begins at 0:10:48 - https://youtu.be/KGBLX0y-55U?t=648):
Tomás Ruiz
https://www.twitter.com/tomasruizlopez
Talk: Functional Programming in Swift with Bow
Speaker 3 (begins at 0:21:42 - https://youtu.be/KGBLX0y-55U?t=1302):
Tapio Rautonen
https://www.twitter.com/trautonen
Talk: Generic Functional Programming with Type Classes
Speaker 4 (begins at 0:38:22 - https://youtu.be/KGBLX0y-55U?t=2302):
Alfredo de Hoces
Talk: Our smooth transition to functional programming
Speaker 5 (begins at 0:54:58 - https://youtu.be/KGBLX0y-55U?t=3298):
Flavio Corpa
https://www.twitter.com/FlavioCorpa
Talk: ReasonML in 15min