Lindsey Kuper on Nostr: Edinburgh WG2.11 anecdote: I pronounced the Idris snoc-list constructor, `:<`, as ...

Edinburgh WG2.11 anecdote: I pronounced the Idris snoc-list constructor, `:<`, as "sad face" when asking a question about one of nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpquv9npguw2p0ksa6vz84705z9rkctv8lq8f4xam47knl0kw3k393q3jfhkk (nprofile…fhkk)'s slides, and Edwin was like, "I'm going to start calling it that from now on." Then James McKinna asked a question from the back and *he* called it "sad face", too. I'm an Idris influencer!