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