Thanks to tehrba for commenting on the (a) = a thing. This is one of the things I decided to clear up in Monads 3A as I kinda messed it up in Monads 3. I have to warn you that if I'm going to be completely accurate about this the answer won't fit in the 500 character limit here. Maybe we should have a website and I'll put a full technical answer there...or maybe I'll post a full video response. For now, do try watching Monads 3A to see if that helps...
If you look at the markings behind her head, you'll see that (a) -> a, so there's no need to write anything like (abc) -> a(bc), you just take out the brackets. Am I right?
That part was a bit confusing, but she seemed pretty confused there also so I thought I'd ask. (Sorry)
Thanks to tehrba for commenting on the (a) = a thing. This is one of the things I decided to clear up in Monads 3A as I kinda messed it up in Monads 3. I have to warn you that if I'm going to be completely accurate about this the answer won't fit in the 500 character limit here. Maybe we should have a website and I'll put a full technical answer there...or maybe I'll post a full video response. For now, do try watching Monads 3A to see if that helps...
TheCatsters 4 years ago
If you look at the markings behind her head, you'll see that (a) -> a, so there's no need to write anything like (abc) -> a(bc), you just take out the brackets. Am I right?
That part was a bit confusing, but she seemed pretty confused there also so I thought I'd ask. (Sorry)
tehrba 4 years ago