A compiler for literate Erlang