Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

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.

Back to the Oberseminar web page