[Agda-dev] Agda and Packages/Libraries

[Nils Anders Danielsson]

On 2016-02-04 14:44, Philipp Hausmann wrote:
> It would also be possible to publish the generated Cabal packages on
> Hackage, but they would just be plain Haskell packages. If you want to
> expose an Agda library as a normal Haskell/Cabal package using FFI
> exports, this is good enough.

What if, say, support for a newer version of GHC is added to MAlonzo? A
person who knows nothing about Agda might have a hard time recompiling
the Agda sources (which might not even be available).

-- 
/NAD