Normal-order syntax-rules and proving the fix-point of call/cc (via veqq) — discussion

#lisp