sorry, my bad, you're right of course, I meant not literally but as a short name...

		peoplefromibiza on May 15, 2024 \| parent \| context \| favorite \| on: Translation of Rust's core and alloc crates to Coq... sorry, my bad, you're right of course, I meant not literally but as a short name for Richard