Mark Karpov

A proper description here would help. What is the principal difficulty with `nix-build`?

We're working on setting up CI for our GHC fork at Tweag (the one with linear types). We have Buildkite agents with automatic nix cache and I'm thinking about a...

I'll take a look at this soon, thanks for opening the issue!

Hmm, I'm getting "zero candidates" instead.

Yeah, I can reproduce it now.

In the `*messages*` buffer I get this: ``` avy-handler-default: No such candidate, (mouse-1 (# 1337 (42 . 569) 35317506 nil 1337 (5 . 32) nil (0 . 5) (8 ....

Well, I believe `haskell-mode` already handles this well. At least for my use cases, it does.

Oh sorry, I misread `cabal run` as `cabal repl`! About `cabal run`: this can be added, although it may be not the best experience (running an application in compilation buffer)....

In general, could it be possible to run `checkProp` only once for a property no matter what we do? That would be on par performance-wise with that a programmer would...

This package may be of interest because there are a lot of type-level stuff here: https://github.com/sheyll/type-spec.