Open
Description
I think we don't support deep patching, as in S # [foo.bar := baz]; nonetheless, this is a useful and important feature of ML-style module systems that could be nice to have.
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests
Activity