Traditional RTL and Bluespec perspectives on skid buffers and friends

Public service announcement for 6.191 students struggling with lab 6 (and others).

Here’s a fun problem that I came up with a while ago.

This is a summary of How to Design Programs: An Introduction to Programming and Computing, abbreviated HTDP.

I forgot my favorite method of deriving Y combinator for the n-th time, so this time I am forcing myself to write this up as a quick reminder.