Pseudocode Showdown: Python vs. PlusCal and TLA+ahelwer.ca5 points·ahelwer··0 commentsOpen articleSaveView on HN