Clarification on the match clauses and catamorphisms

Show/hide message thread

Clarification on the match clauses and catamorphisms Jani Juhani Sinervo (12 Nov 2022 17:48 UTC)

Re: Clarification on the match clauses and catamorphisms Marc Nieper-Wißkirchen (12 Nov 2022 23:00 UTC)

Re: Clarification on the match clauses and catamorphisms Marc Nieper-Wißkirchen (13 Nov 2022 11:20 UTC)

Clarification on the match clauses and catamorphisms Jani Juhani Sinervo 12 Nov 2022 17:47 UTC