purescript/purescript — pull request #153 by puffnfresh (2014-01-31 22:21:59+00:00)
Title: Mangle '.' to "$dot"

This should be the last operator needing to be mangled.