* 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