mirror() is unimplemented - makes some trivial OpenSCAD operations painful extopenscad ones
Could this be implemented as a scale transform with negative coefficient?
That's pretty much what a mirror is, so yeah. It'd rock if someone could implement this, I haven't fiddled with the insides of ImplicitCAD yet. (my Haskell isn't that grand yet)
It was more a question to @colah to ensure that a negative scaling coefficient wouldn't break any assumptions. I guess I can just try it though.