@fanf@mendeddrum.org2026-01-10 09:42:04
from my link log —
An adequate left-associated binary numeral system in the lambda calculus.
https://www.brics.dk/RS/95/42/index.html
saved 2026-01-09 https://
@fanf@mendeddrum.org2026-01-10 09:42:04
@fanf@mendeddrum.orgfrom my link log —
An adequate left-associated binary numeral system in the lambda calculus.
https://www.brics.dk/RS/95/42/index.html
saved 2026-01-09 https://