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

43 pointsposted 5 months ago
by Bogdanp

3 Comments