
25 Jan
2015
25 Jan
'15
12:33 a.m.
Sumit Sahrawat, Maths & Computing, IIT (BHU
Take a look here: https://github.com/ekmett/trifecta/issues/41
Thanks for the hint. The problem is fixed in Git. I guess an updated trifecta package will be put in Hackage. In the meantime, cabal install idris --constraint='blaze-markup <0.6.3' is a workaround (thanks to David Christiansen for that). best, Robert Dodier