[plt-dev] replacement for *-identifier-mapping

From: Stevie Strickland (sstrickl at ccs.neu.edu)
Date: Wed Mar 25 20:35:09 EDT 2009

On Mar 26, 2009, at 12:28 AM, Ryan Culpepper wrote:
> I'm looking for opinions about noun phrases to replace 'identifier- 
> mapping'. I'd prefer something shorter.
> Here are some that I've thought of:
> id-table
> id-hash

Any particular reason you didn't consider id-map as well?


Posted on the dev mailing list.