John McCarthy's proposal for the language of the futurewww-formal.stanford.edu115 pointsprotagonist_h15 years ago