Date: | 2019, February 13 |
Author: | Grimm, Claudius |
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.