Dawn Chan
Results
3
issues of
Dawn Chan
`modify` and `modifyF` of traversals both cannot change the type of the value. A more general function is needed. ## Scenario For example, I'm building a blog and I have...
Is it possible to add lean4? Thanks!