hls-tactics-plugin-1.8.0.0: old/src/Ide/Plugin/Tactic.hs

-- | A plugin that uses tactics to synthesize code
module Ide.Plugin.Tactic (descriptor, Log(..)) where

import Wingman.Plugin