Closed zachary-kent closed 1 year ago
Adds some basic tactics for dealing with monadic computations using options
Oops, realized we already had a tactic for this
Do the existing tactics take an intro pattern like yours does? That would be a nice addition.
Adds some basic tactics for dealing with monadic computations using options