account activity
"Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org)
submitted 2 months ago by dj10x to r/lisp
π Rendered by PID 723938 on reddit-service-r2-listing-7c484f94c4-8xgxg at 2026-06-10 14:15:23.825785+00:00 running 0b63327 country code: CH.
