<![CDATA[Paul Chiusano's Blog]]>Mon, 26 Aug 2024 19:33:24 +0000Mon, 26 Aug 2024 19:33:24 +0000<![CDATA[You might not need GADTs for that in Unison]]>Mon, 26 Aug 2024 19:33:24 +0000<![CDATA[The "other" technique for fusing chains of operations]]>Mon, 26 Aug 2024 19:33:18 +0000<![CDATA[Mixing random and exhaustive testing]]>Mon, 26 Aug 2024 19:33:14 +0000<![CDATA[Filtering and mapping at the same time]]>Mon, 26 Aug 2024 19:33:09 +0000