Hacker News new | ask | show | jobs
by 082349872349872 570 days ago
compare p3 of https://lamport.azurewebsites.net/pubs/lamport-howtowrite.pd...