Came across the PFPL in Agda book, and tried it out for the first time:
https://gist.github.com/agam/2b842e5238ef36cb8329023d6c2eea15
Experiments, observations, and ideas: tech tools, AI, books, media, daily systems