Wingman.Plugin
Description
A plugin that uses tactics to synthesize code
descriptor :: PluginId -> PluginDescriptor IdeState Source #