hls-tactics-plugin-1.3.0.0: src/Wingman/Metaprogramming/Parser.hs-boot
module Wingman.Metaprogramming.Parser where import Wingman.Metaprogramming.Lexer import Wingman.Types tactic :: Parser (TacticsM ())
module Wingman.Metaprogramming.Parser where import Wingman.Metaprogramming.Lexer import Wingman.Types tactic :: Parser (TacticsM ())