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

5 points | by Bogdanp a day ago