Ancestors

Toot

Written by Leah Neukirchen on 2025-01-05 at 20:44

Ich kenne es nur vom Hörensagen, aber Thomas Streicher schien die deutsche Übersetzung von WHNF (Weak Head Normal Form) als "Schwachkopfnormalform" geprägt zu haben.

=> More informations about this toot | More toots from leah@blahaj.social

Descendants

Written by Leah Neukirchen on 2025-01-05 at 21:37

Das andere mir bekannte Idiom ist die Merkregel wie Substitutionen funktionieren, z.B. M[t/x]. Hierbei nimmt der Ausdruck t den Knüppel "/" und erschlägt das x bei dessen Ersetzung in M.

(Obligatorische Referenz zu https://youtu.be/dCuZkaaou0Q?t=1922 )

=> More informations about this toot | More toots from leah@blahaj.social

Written by Max on 2025-01-05 at 21:00

@leah :rainbow_heart_eyes:

=> More informations about this toot | More toots from korenchkin@chaos.social

Written by piegames on 2025-01-05 at 21:19

@leah oh ein Streicher-Jumpscare in meiner Timeline 😱

=> More informations about this toot | More toots from piegames@flausch.social