I'm so glad you took time out of your day to come here and tell us this.

		cmrdporcupine on June 24, 2022 \| parent \| context \| favorite \| on: OCaml Programming: Correct and Efficient and Beaut... I'm so glad you took time out of your day to come here and tell us this.