A general abstraction for manipulating elements of container data structures
Why do you think that https://github.com/nomeata/containers-verified is a good alternative to focus
A general abstraction for manipulating elements of container data structures
Why do you think that https://github.com/nomeata/containers-verified is a good alternative to focus