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/55846fb872d8f3aa6dff3e63219d8d1349740355?hp=55846fb872d8f3aa6dff3e63219d8d1349740355 it's ICFP 2016 ---