On Thu, Sep 1, 2016 at 5:12 PM, Gregory Ewing <greg.ew...@canterbury.ac.nz> wrote: > 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.
Wouldn't that be rather racist? Or maybe racy. I'm not sure. ChrisA -- https://mail.python.org/mailman/listinfo/python-list
