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.