Hi James, On 2015-10-15 at 19:21, quoth James David Trotter: > I was just about to submit a (somewhat overlapping) set of about > thirty patches in order to add Agda to guix. Hopefully, this should > become easier after your patches.
I've pushed the branch wip-haskell-platform-7.10.2-a, perhaps it would be a good idea to rebase your Agda patches onto HEAD of that branch? That way we can be sure they work with the updated Haskell Platform, and we can start reviewing your patches, too. If somebody more experienced than me thinks that's a terrible idea, please correct me :). Kind regards, p.
