A Leiningen plugin to compile Frege code.