Re: [Haskell-cafe] Looking for a paper

On 4/9/19 10:41 AM, jaro.reinders@gmail.com wrote:

I found it: https://www.cs.utexas.edu/~EWD/transcriptions/EWD13xx/EWD1300.html

Thank you, this is obviously also relevant, but it's not the one I'm remembering. The notation is the same, though, so this explains what I'm looking for (and is also an interesting read).