Came across the PFPL in Agda book, and tried it out for the first time:
https://gist.github.com/agam/2b842e5238ef36cb8329023d6c2eea15
Came across the PFPL in Agda book, and tried it out for the first time:
https://gist.github.com/agam/2b842e5238ef36cb8329023d6c2eea15