manifold-lang/manifold-frontend — pull request #36 by mtrberzi (2014-11-19 19:19:22+00:00)
Title: Sanitize namespace identifiers

Fixes #35