@fanf@mendeddrum.org2026-04-10 08:42:04
from my link log —
Incremental lambda calculus.
https://inc-lc.github.io/
saved 2026-04-09 https://dotat.at/:/K0US5.html
@fanf@mendeddrum.org2026-04-10 08:42:04
@fanf@mendeddrum.orgfrom my link log —
Incremental lambda calculus.
https://inc-lc.github.io/
saved 2026-04-09 https://dotat.at/:/K0US5.html