John Wiegley

Results 91 issues of John Wiegley

#### Description of the feature request I would love an option to set called "No Assumptions" that causes `Defined` and `Qed` to error if the defined term is not either...

kind: feature

This was reported on Discord by user Luzzotica: ``` :1:0: Numeric.showIntAtBase: applied to negative number -31535940 When trying to call str-to-int on my number "-31535940". ``` Another user offered this...

Since updates in dependencies have a chance of breaking the Nix build, it would be nice to at least know when this has happened by adding a non-required CI job...

Since most users customize this variable, directly appending to it causes the Customize buffer to look wrong, since the data appended does not fit the structure specified by the customization....

The following makes a good option for `cfw:read-date-command`, as it makes the date selection prompt for calfw works exactly like org-mode. ``` emacs-lisp (defun cfw:org-goto-date () (interactive) (let ((xs (decode-time...

I have a feeling that deferred's implementation could become a lot cleaner for 26. :) Great library, btw, I use it for interacting with REST APIs.

The following details of a posting contribute to its hash: - fullname of account - string representation of amount Each posting hashes contributes to the transaction hash, which is compromised...

enhancement