Re: [math-fun] the Trouble with Templates

="Mike Stay" <metaweta@gmail.com> it's pretty much useless unless you're trying to explain some of the finer points of the Curry-Howard isomorphism.

Or testing languages claiming lambda-nature!