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

import Wingman.Plugin