Quite fittingly, there is a South American bird called Coq of the Rocq... errr, ...

		rob74 on May 15, 2024 \| parent \| context \| favorite \| on: Translation of Rust's core and alloc crates to Coq... Quite fittingly, there is a South American bird called Coq of the Rocq... errr, Cock of the Rock: https://en.wikipedia.org/wiki/Cock-of-the-rock