how would ghc-core enable targetting core for Agda?
On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <[email protected]>wrote: > Excellent! > > With ghc-core being maintained again, we can start thinking about > compiling Agda to core instead of hs. > > Andreas > > > On 11.11.12 11:41 AM, Bas van Dijk wrote: > >> Great! >> >> On 10 November 2012 16:17, Shachaf Ben-Kiki <[email protected]> wrote: >> >>> With Don Stewart's blessing >>> (<https://twitter.com/donsbot/**status/267060717843279872<https://twitter.com/donsbot/status/267060717843279872>>), >>> I'll be >>> taking over maintainership of ghc-core, which hasn't been updated >>> since 2010. I'll release a version with support for GHC 7.6 later >>> today. >>> >>> Shachaf >>> >> >> ______________________________**_________________ >> Haskell-Cafe mailing list >> [email protected] >> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> >> >> > -- > Andreas Abel <>< Du bist der geliebte Mensch. > > Theoretical Computer Science, University of Munich > Oettingenstr. 67, D-80538 Munich, GERMANY > > [email protected] > http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/> > > > ______________________________**_________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
