Post #1791011
2026-04-21 15:03 UTC
I'm indebted to Aaron Stump for pointing out this paper on his podcast, which I'm enjoying quite a lot: "The Calculated Typer (Functional Pearl)"
https://al.radbox.org/doi/10.1145/3759164.3759346
Replies (0)
No replies.