|Date:||2019, February 13|
|Title:||Integrating Hets with the Atom Editor|
This talk introduces a plugin for the Atom editor, providing an in-editor view of the development graph. The graph is generated by Hets from the currently open file in the editor. The goal is to improve the development experience with Hets.