We can write a quick parser of type Parser (TacticM ()) (see https://github.com/TOTBWF/muprl/blob/master/src/MuPRL/Parser/Tactic.hs for inspiration). Add a little bit of machinery in HLS to find these files and add them to the action list or known auto tactics, and we have a nice/extensible system on our hands.
We can write a quick parser of type
Parser (TacticM ())
(see https://github.com/TOTBWF/muprl/blob/master/src/MuPRL/Parser/Tactic.hs for inspiration). Add a little bit of machinery in HLS to find these files and add them to the action list or known auto tactics, and we have a nice/extensible system on our hands.