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