Its called literate programming; for example https://wiki.haskell.org/Literate_programming