Re: [racket-dev] TR for PL class

2011-01-01 Thread Eli Barzilay
On Sunday, John Clements wrote: Eli: You use a variant of TR for your PL class, right? Yes. Is your stuff fairly straightforward, or would it be a mistake for me to try to adopt it? I think that it works very nicely (disjoint unions works very well for the material). I just tried

[racket-dev] TR for PL class

2010-12-26 Thread John Clements
Eli: You use a variant of TR for your PL class, right? Is your stuff fairly straightforward, or would it be a mistake for me to try to adopt it? I just tried installing your .plt package, and got a few install errors (below, if you care), so it's hard for me to evaluate this myself. I took a