Closed colin353 closed 6 years ago
The UI looks amazing. I added quite a bit of stuff and filled in the holes in the detailed view, so you should probably review the changes first.
Sorry for the super delay in responding here. I've been on vacation + sick. I'm mostly back to life now though, so I'll review this and do some more work this weekend.
Looks amazing. I've never heard of a zoomlist data structure before, haha, but it makes sense. I'm going to pull this in.
It's normally called a zipper, and you can make one for any inductively defined data structure (for example, list and trees). I just named it zoom list to keep with your naming convention haha :P
It think we should leave the PR number that Github inserts automatically in the commit message when we merge.
Okay, I'll leave it in in the future.