I've worked on this too long to want to do anything cool like "convert Java lists to Vectors" so I've decided on just translating those and having the translated types get used instead. Maybe I'll hand-write some functions that do what I originally wanted.
I've worked on this too long to want to do anything cool like "convert Java lists to Vectors" so I've decided on just translating those and having the translated types get used instead. Maybe I'll hand-write some functions that do what I originally wanted.