Calvin Beck

I'm noticing similar problems elsewhere in QC too while testing vellvm. A simple example is `whenFail`. Coming from Haskell-land I didn't think about the fact that the string parameter would...

Putting it in new releases would be good, I think! I was concerned that the old versions will still need to be patched within nix --- nix selects a default...

This just happened to me again with a freshly loaded emacs. It seems to have something to do with the fact that proof general loads for coq files in org-mode,...

I have a bunch of source blocks with coq code in my org files. org-mode opens these source blocks in ephemeral buffers with proof general, and I think this might...

One thing that would be great to incorporate this with is `opam switch link` Turns out you can have opam automatically switch based on the directory that you're working in!...

Seems that setting org-caldav-show-sync-results to nil can help with this problem.

Apparently there is already an option for this within `helm-ag` itself... ``` (setq helm-ag-insert-at-point 'symbol) ``` That said, I do wonder if it should follow `helm-projectile-set-input-automatically`. The documentation for `helm-projectile-set-input-automatically`...

Hi there, just a heads up for all of you org-chef users (and this seems like a good place to mention it), but I have suddenly become quite a lot...

``` haskell reservedOp :: GenTokenParser s u m -> String -> ParsecT s u m () ``` since it's actually in a record. I'm guessing that this example assumes you...

Ooof, yeah. I'm having troubles with some allrecipes too. If anybody wants to have a look I'd appreciate a fix :).