[Haskell-cafe] Taking over ghc-core

[Carter Schonwald]

how would ghc-core enable targetting core for Agda?


On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <andreas.abel at ifi.lmu.de>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 <shachaf at gmail.com> 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
>> Haskell-Cafe at haskell.org
>> 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
>
> andreas.abel at ifi.lmu.de
> http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
>
>
> ______________________________**_________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20121116/c11ac659/attachment.htm>