Hacker News new | ask | show | jobs
by johncowan 1033 days ago
On the other hand, a theorem prover written by John McCarthy in 1958 was trivially adaptable to both Common Lisp and Scheme. Not too many languages get to make that claim.