4 ms·

Excellent, I think if I reread this before turning every page of Pierce's Types and Programming Languages I might understand it a little.

• bjz_ 13y ago
  Exactly! I found it hard to break into TaPL, and this is just the thing I needed.
• Scriptor 13y ago
  I was just about to ask how well this would work as a companion to tapl. I'm still very early in the book so the notation isn't indecipherable, but I'm sure it'll get there soon.