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

« Back Normal-order syntax-rules and proving the fix-point of call/ccokmij.orgSubmitted by Bogdanp a day ago