Chris Angelico wrote:

You might have won the 100m dash, except that we couldn't verify your
velocity of locomotion without a... run time check. Badumtish.

All is not lost. You just need to devise a type system
capable of proving that his time is faster than any
other runner in all possible races.

--
Greg
--
https://mail.python.org/mailman/listinfo/python-list

Reply via email to