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