In case you thought everything in academia (or even just PLT) is consistent (h/t, slide by Guy Steele

@larsrh I really like the way their study looks like a study about linguistics in POPL ☺

my favourite part is how e[x/v] and e[v/x] are both there

i hate all of the notations that don't contain some obvious directional thing and it looks like my reasons were justified

fuck there are also some where the arrow is the wrong way

plt was a mistake

just waiting for some chaotic evil writer to use e[v ≔ x] because at this point why not

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!