Syntax highlighting for F* in Atom Editor - View it on GitHub