I think it's valuable to be able to tell where we use ?-substitution, so I'll leave that as is. The print statement was a slip of mind, I'll fix that and then merge. Thanks for reviewing!
« Back to merge proposal
I think it's valuable to be able to tell where we use ?-substitution, so I'll leave that as is. The print statement was a slip of mind, I'll fix that and then merge. Thanks for reviewing!