#normalordersyntax — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #normalordersyntax, aggregated by home.social.
-
🤓 Ah yes, the riveting saga of "normal-order syntax-rules" and the elusive call/cc fix-point, where syntax rules magically transform into a proof assistant. 🧙♂️ Because what better way to celebrate Daniel P. Friedman than with a marathon of indecipherable jargon and fewer common examples no one asked for. 🎉
https://okmij.org/ftp/Scheme/callcc-calc-page.html #normalordersyntax #syntaxrules #callcc #proofassistant #DanielPFriedman #programmingjargon #HackerNews #ngated