Yes, of course. We use sml-nj and i'm installing poly-ml just for variety. But it will be nice for them to have access to an aggressive file compiler too, especially for final projects. --Barak.