[Agda-dev] Agda and Packages/Libraries

[Philipp Hausmann]

I also intend to keep this in a separate branch and possibly merge it
after the next major release.
It will also take some weeks to get it into shape anyway, and I heard
rumors that there should be
a new major release in the not too distant future ;-)

/Philipp

On 02/04/2016 09:45 PM, Andrés Sicard-Ramírez wrote:
> 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.
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
Url : http://lists.chalmers.se/pipermail/agda-dev/attachments/20160204/cea131f3/signature.bin