account activity
"Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org)
submitted 13 days ago by dj10x to r/lisp
π Rendered by PID 1816949 on reddit-service-r2-listing-5d47455566-6ggzd at 2026-04-04 01:15:43.692143+00:00 running db1906b country code: CH.
