j
k
j a
j l
On Tue, 24 Nov 2020, Henning Thielemann wrote:
If people would use custom pair types we would not need Foldable on pairs, at all.
To be fair, if people would use custom pair types we would not need *pairs* at all. --Barak Pearlmutter
Back to the thread
Back to the list