Oliver Soeser

icon indicating a website link https://www.oliversoeser.com/ icon indicating an email [email protected]

icon location Edinburgh, Scotland icon location Computer Science and Maths student, University of Edinburgh class of 2027.

Results 3 issues of Oliver Soeser

feat: irevert tactic

Implements the `irevert` tactic, closes #69.

awaiting review

Selection Patterns

1 comment

Implement selection pattern syntax and update the relevant tactics accordingly

iRevert tactic

1 comment

Port the `iRevert` tactic

enhancement
awaiting review