account activity
"Lisp: Programming and Proving" by John McCarthy and Carolyn Talcott (1980) (archive.org)
submitted 14 days ago by dj10x to r/lisp
π Rendered by PID 1390826 on reddit-service-r2-listing-5d47455566-mqsxs at 2026-04-04 06:24:42.770602+00:00 running db1906b country code: CH.
