Mark Karpov

Hi, I'm trying to investigate why this build in failing: https://travis-ci.org/mrkkrp/dot-emacs/builds/150880103#L4205 It seems it's doing fine, but always chokes on trying to find `async-bytecomp.log` file for some reason. I have...

Currently the API is rather inconvenient.

Property probing can be unnecessarily expensive

1

Espectially when we want to prove several composed properties (using `Via`), every time we must first get projection of `p` from ```t `Via` p```, which may be quite expensive.

Add a test suite

1

There is nothing really complex here, but a test suite would be good, still.

Add some example programs.

Sometimes `ace-link` behaves strange in `markdown-mode`. It looks like in all cases it outputs the message: ``` ace-link: markdown-mode isn’t supported ``` However sometimes despite the message, links are opened...

Consider using the inheritenv package

4

This is not strictly a bug per se, but perhaps an opportunity for improvement. I have recently tried to use `lsp-mode` in conjunction with `direnv-mode`. A directory-specific environment provided `ocamllsp`—OCaml...

Could be useful when Megaparsec is used to parse binary data.

Add a new primitive: 'scanP'

1

Attoparsec has it: https://hackage.haskell.org/package/attoparsec-0.13.2.2/docs/Data-Attoparsec-Text.html#v:scan.