3 ms·desktop version: https://xkcd.com/2357/ https://xkcd.com/2357/by dependenttypes 6y agodesktop version: https://xkcd.com/2357/ https://xkcd.com/2357/