Normal-order syntax-rules and proving the fix-point of call/cc

https://okmij.org/ftp/Scheme/callcc-calc-page.html

#HackerNews #NormalOrder #SyntaxRules #CallCC #Scheme #Programming #Proving

I do want to talk about #NormalOrder evaluation in #programming languages, but I'm just too #lazy.