From: Ralf Jung Date: Fri, 1 Jul 2016 12:18:43 +0000 (+0200) Subject: it's ICFP 2016 X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/277100c5967ac22c987d127ce9048ff1faf26793?hp=277100c5967ac22c987d127ce9048ff1faf26793 it's ICFP 2016 ---