Jaro

@facundominguez couldn't you just leave out that `x + infinite = infinite`: ``` {-@ measure infinite :: Int @-} {-@ invariant { v:Int | v

> don't know how to get the fancy stuff in parentheses I'm using `M-x emacs-version`

It might be slightly faster, but the lag is still very noticeable for me on: GNU Emacs 28.2 (build 2, x86_64-apple-darwin23.3.0, NS appkit-2487.40 Version 14.3 (Build 23D56)) of 2024-02-22 (that's...

> Could you try https://emacsformacosx.com/emacs-builds/Emacs-28.2-universal.dmg? Still noticeable lag. It may be slightly faster but it's hard to tell. It gives me this version: GNU Emacs 28.2 (build 1, x86_64-apple-darwin18.7.0, NS...

Here's a working link: https://github.com/beerendlauwers/haskell-papers-ereader/blob/05c3bc023072a6fc5b1a09e11b5f59298fa8cc2b/papers/Practical%20Principled%20FRP%20-%20Forget%20the%20past%2C%20change%20the%20future%2C%20FRPNow!.pdf

More here: https://old.reddit.com/r/haskell/comments/tnxhwf/i_need_some_beginner_help_with_actually_compiling/

The cabal documentation is also wrong: https://cabal.readthedocs.io/en/latest/setup-commands.html?highlight=hoogle#cmdoption-runhaskell-Setup.hs-haddock-hoogle

> Not sure if it's useful to have the export list in Main specifically. It is especially important to add an export list to the main module, because it only...

Is it even possible to import the Main module in another module? Even if that is possible, I think we can agree that 99% of packages don't do that. So...

I can reproduce this on GHC 8.10. I think plugins always causes segfaults when run interactively (with `ghci`, `runghc` or `runhaskell`), so this is not surprising. Should we even try...