Compiler

There are three backends for Agda: Haskell (MAlonzo), Javascript, and Epic.