http://code.slipthrough.net/ Wed, 14 Mar 2018 13:52:23 +0000 Wed, 14 Mar 2018 13:52:23 +0000 Jekyll v3.6.2 Tue, 13 Mar 2018 00:00:00 +0000 http://code.slipthrough.net/2018/03/13/thoughts-on-typeclass-codecs/ http://code.slipthrough.net/2018/03/13/thoughts-on-typeclass-codecs/ code Wed, 10 Aug 2016 00:00:00 +0000 http://code.slipthrough.net/2016/08/10/approximating-gadts-in-purescript/ http://code.slipthrough.net/2016/08/10/approximating-gadts-in-purescript/ code