K 10
svn:author
V 4
reps
K 8
svn:date
V 27
2015-09-16T21:54:52.949313Z
K 7
svn:log
V 44
Revision to partial-evaluation notes, part 2
END