Commit 2021-10-18 09:49 6b8b2390
View on Github →feat: ext tactic (#73)
ext : 42
is not implemented yet@[ext] structure Foo
is not supported by core (yet?), so I have implemented a cool workaround
feat: ext tactic (#73)
ext : 42
is not implemented yet@[ext] structure Foo
is not supported by core (yet?), so I have implemented a cool workaround