6 Likes
I’ve never seen this way of thinking about with
mentioned anywhere, in particular the fact that this construct can be desugared without evaluation. So I decided to make a brain dump blog post.
2 Likes