Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Multi-file projects should work. | Artyom Shalkhakov | 2018-09-01 |
| | |||
* | Flycheck: improving multi-file support | Artyom Shalkhakov | 2018-08-31 |
| | |||
* | FlyCheck integration. | Artyom Shalkhakov | 2018-08-31 |
Some issues: - since Ur/Web expects to typecheck a project, we "guess" it (which may not be the exact project that you use, maybe we need to improve our heuristics) - lightly tested, but seems to work on my machine |