An F* interactive mode for the atom editor - View it on GitHub