Alex Chapman
Alex Chapman
I have a similar issue which may have the same cause, so I'll describe it here. The issue is that scrolling by page (either by using ``/`` or ``/``) with...
Yet another incarnation of what may be the same issue: If the last line of a file wraps, then `gj` does not show the very end of the file. E.g....
@domenkozar I have tried your suggestion but I can't get it to work. For example, with the type alias we still get errors like this: ``` src/Servant/Auth/Server.hs:128:5-22: error: • The...
Sure, if it's useful to you then put in a pull request and I'd be happy to merge it.
@phadej, I like this idea. What about calling the operator `%_` (or `_%`)? And then for the `` idea we could use ``?
Sorry about being slow on this. I've just pushed this change, after which I rename `(%%)` to `(%+)` and add `()`. Is the latter a good name, do you think?...
Yes, I like the idea. Will add if/when I get time, otherwise PRs welcome!
This seems very surprising! Can you give any more information? Is anyone else experiencing this problem?
No, I was ok with the `1.0` being `Int`. It was when I added the custom datatype (`ZipT`, from one of the examples), that things got weird. `ZipT` accepts five-character...
I don't yet know what it means. My category theory knowledge is quite limited. I'll read up on what a 'family fibration' is at the 1lab link @TOTBWF gave. I...