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 <shac...@gmail.com> wrote:
With Don Stewart's blessing
(<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@haskell.org
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.a...@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
