Check for presence of Agda, OCaml and ghc-mod before assuming it
BUGFIX: Use quote when passing functions as arguments