"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,
@amy named after Richard Bird.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.
@amy named after Richard Bird.