On Thu, Jan 10, 2013 at 10:04 AM, Serge D. Mechveliani <mechvel at botik.ru> wrote: > > Yes, I have done this before applying agda -c $agdaLibOpt Main.agda > > Anyone tried MAlonzo under ghc-7.6.1.20121207 ? Using Agda and standard library development versions $ cd agda $ make compiler-test worked with ghc-7.6.1.20121207. -- Andrés