progn ----- .. highlight:: dune .. describe:: (progn ...) Execute several commands in sequence. Example:: (progn (run ./proga.exe) (run ./progb.exe))