Normal-order syntax-rules and proving the fix-point of call/cc okmij.org 4 points by Bogdanp 16 hours ago