how would ghc-core enable targetting core for Agda? <div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Nov 14, 2012 at 6:32 PM, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Excellent!<br>
<br>
With ghc-core being maintained again, we can start thinking about compiling Agda to core instead of hs.<br>
<br>
Andreas<div class="im HOEnZb"><br>
<br>
On 11.11.12 11:41 AM, Bas van Dijk wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Great!<br>
<br>
On 10 November 2012 16:17, Shachaf Ben-Kiki <<a href="mailto:shachaf@gmail.com" target="_blank">shachaf@gmail.com</a>> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
With Don Stewart's blessing<br>
(<<a href="https://twitter.com/donsbot/status/267060717843279872" target="_blank">https://twitter.com/donsbot/<u></u>status/267060717843279872</a>>), I'll be<br>
taking over maintainership of ghc-core, which hasn't been updated<br>
since 2010. I'll release a version with support for GHC 7.6 later<br>
today.<br>
<br>
Shachaf<br>
</blockquote>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
<br>
</blockquote>
<br></div><span class="HOEnZb"><font color="#888888">
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Theoretical Computer Science, University of Munich<br>
Oettingenstr. 67, D-80538 Munich, GERMANY<br>
<br>
<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a></font></span><div class="HOEnZb"><div class="h5"><br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>