Hi Alex,

> On guix-develĀ¹, I had given an incomplete patch to update idris to
> 1.2.0. After further investigation, I concluded this was the wrong
> approach because our current version of GHC is 8.0.2, so the right
> version of LTS Haskell to follow is https://www.stackage.org/lts-9.4,
> which includes Idris 1.0, not 1.2.

Thank you!

Could you please send a patch per modified package instead of a copy of
the module?


GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC

Reply via email to