Calvin Beck
Calvin Beck
Say I have command line arguments, and one of the things that I want to accept is a list of arguments. Let's just use the example from here: https://zuttobenkyou.wordpress.com/2011/04/19/haskell-using-cmdargs-single-and-multi-mode/ So,...
This is maybe a bit of a silly edge case, but... Print Nat. works, but then when you type... Print Nat.zero. After running `Print Nat`, then if you try to...
I'm having this problem where occasionally proof general will stop loading for some files. It's hard to reproduce, but it often seems to happen when using helm-projectile to find new...
I've been messing around with using nix to manage Coq packages. One problem I have noticed was that when `QuickChick` calls `ocamlbuild` it can't find some of the libraries it...
…ectile-grep. When using `helm-projectile-grep` the search term will automatically be populated with the symbol at point, or the selected region. These changes make `helm-projectile-ag` do the same thing. ----------------- Before...
Hey there! I'm having some problems. I want to run org-caldav-sync whenever I capture something, save a .org file, or enter the agenda view. However, there are a couple of...
### Description This change allows dynamic status bars to pull information out of the X monad, which can be really useful for status bars. For instance, you can now query...
Currently org-chef just spews whatever into the time fields of recipe (prep-time, cook-time, ready-in). So it could end up being anything... 30m, 30mins, 30min, 30 mins, etc. org-chef should have...
Might be nice to provide capture templates for people to use in their emacs configs as variables. This might make configuration a little easier, and if there's ever a need...
Probably use ert. Should not use existing website recipes, but can definitely make some fake ones.