More work notes for Harper's Practical Foundations of Programming Languages
Rename intro to harper