    * Org mode with multiple languages

    ** Have some Agda!

    #+begin_src agda2
    module OrgMultipleLanguages where

    data Bool : Set where
      true  : Bool
      false : Bool
    #+end_src

    ** Have some Haskell!

    #+begin_src haskell
    main = putStrLn "Hello!"
    #+end_src

    ** Have some elisp

    #+begin_src elisp
    (message "Hello!")
    #+end_src

    ** Invalid (ignored) Agda

    #+begin_src agda2-foo
    module Wrong where
    #+end_src

    #+begin_src agda
    module Wrong where
    #+end_src