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.
Cool, Agda was my next target, glad that's done then! :) Thank you! :D > If I understand correctly, then this patch can just be dropped? I've got a patch which removes it in the review-queue :). A strange thing though: by that logic, ghc-transformers-compat should not be packaged, but i got errors when i took it away. I'll investigate further. Cheers, p.
