"Literate interactive coding: Devcards" by Bruce Hauman