Results 4 comments of Leif Metcalf

`cabal v1-install idris` gives ``` cabal: The following packages are likely to be broken by the reinstalls: Cabal-2.4.0.1 Use --force-reinstalls if you want to install anyway. ```

Getting the same error for ghc-mod on a fresh install of Ubuntu 18.04

Should we recommend Mua over the gen_smtp backend? I’m happy to write a PR adding an infobox to the Adapters.SMTP docs to suggest trying the Mua backend.

I think the message from Firefox is just a bug in the dev tools inspector: https://bugzilla.mozilla.org/show_bug.cgi?id=1404468. I get the 'Layout was forced...' message with just html/css: `index.html`: ``` Hello, World!...