> There are other choices across a range of languages, which a quick google sear...

		riku_iki on Sept 15, 2022 \| parent \| context \| favorite \| on: The Little Prover > There are other choices across a range of languages, which a quick google search found could you provide example?