Org mode with multiple languages

Have some Agda!

module OrgMultipleLanguages where

data Bool : Set where true : Bool false : Bool

Have some Haskell!

main = putStrLn "Hello!"

Have some elisp

(message "Hello!")

Invalid (ignored) Agda

module Wrong where

module Wrong where