1980s Lisp machine keyboards: when logical/set relation symbols were right above the alphanumerics. What did computation mean then, when proof expression was a first-class citizen?pic.twitter.com/554Lznr6hA
12:59 PM - 23 Dec 2017
0 replies
0 retweets
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.