[Haskell-cafe] Looking for a paper

[Michael Orlitzky]

On 4/9/19 11:09 AM, Michael Orlitzky wrote:
> On 4/9/19 10:41 AM, jaro.reinders at 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).

After the Dijkstra hint, I was able to track it down:

  http://www.the-magus.in/Publications/ewd.pdf

Thanks!