[Agda-dev] Agda and Packages/Libraries

[Andrés Sicard-Ramírez]

On 3 February 2016 at 17:36, Philipp Hausmann <philipp.hausmann at 314.ch> wrote:
> (If you really want to look at the code, it is here:
> https://github.com/phile314/agda/commit/f7bfb92c941ae845e9ff58f3a1aa652cb447fb58
> But you've been warned, this is still a prototype!
> )

I suggest to remove the `fauchi` bits from Agda.cabal. Why? I don't
want that a serious bux-fix to `fauchi` implies a release of Agda or
vice versa.

A stronger suggestion is to move `fauchi` to a different repository in
the Agda organization, but we can make it later, if necessary.

-- 
Andrés