Zulip Chat Archive
Stream: metaprogramming / tactics
Topic: help with rewriting simple tactic
Joe Palermo (Apr 21 2021 at 19:54):
How can I rewrite the following tactic in such a way that the return value is just 'bool' i.e. not 'tactic bool'?
meta def can_parse (parser : string -> tactic pexpr) (input : string) : tactic bool :=
(parser input) >> return tt <|> return ff
Last updated: Dec 20 2023 at 11:08 UTC