added note about higher-rank types (to start of paper, commented out)
authorNorman Ramsey <nr@cs.tufts.edu>
Wed, 21 Apr 2010 21:08:41 +0000 (17:08 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Wed, 21 Apr 2010 21:08:41 +0000 (17:08 -0400)
commitd8edd2f36014cbb05578f82812e60763f249c20c
tree941cb72aee617d14afdeec652c3562c08a344703
parent77a62005c5bb83ba280e810eebc0dff6db07b27c
added note about higher-rank types (to start of paper, commented out)
paper/dfopt.tex