Reimagining literate programming