"If it walks like a duck and quacks like a duck, it's a duck" shows that in the type of birds, identity is determined by identity of movement and vocalisation


In my formalisation, this lemma is called Bird-pathp,

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.