User Command for Co-dfns

I didn't realize that this video hadn't made it onto my blog. Here's my discussion of a recent feature that changes the expected Co-dfns interface that was added to the Co-dfns compiler.