Hacker Next
Normal-order syntax-rules and proving the fix-point of call/ccokmij.org
43 points by Bogdanp 8 days ago | 3 comments