User Command for Co-dfns

Co-dfns has a new User Command based interface!

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.