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