From: Christiaan Baaij Date: Fri, 12 Mar 2010 12:11:29 +0000 (+0100) Subject: Include jan's comment from higher-order until future work X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=commitdiff_plain;h=3e67daa2412f2d621e030e906841a63085c18ff7;hp=3e67daa2412f2d621e030e906841a63085c18ff7 Include jan's comment from higher-order until future work ---