John Wiegley
John Wiegley
The following command makes too many assumptions about how QuickChick is being installed: ``` $(V)cp src/quickChickTool $(shell echo $(PATH) | tr ':' "\n" | grep opam | uniq)/quickChick ``` In...
If you import `Equations.Prop.DepElim`, you cannot also import `Coq.QArith.QArith`. The former defines: ``` Notation "p # t" := (transport _ p t) (right associativity, at level 65) : equations_scope. ```...
This project now has two files that differ only in case: - `Makefile.HoTT.local` - `Makefile.hott.local` This is a problem on macOS, because one will always overwrite the other due to...
Due to https://github.com/LnL7/nix-darwin/issues/255, which was later fixed in nixpkgs, the version of `nixpkgs` currently pinned by `kpkgs` (`obsidiansystems/[email protected]`) is unable to produce a working nix-shell environment on macOS Big Sur.
I've recently learned that when you run `cabal2nix` in a directory named `foo`, the only Cabal file `cabal2nix` will look for is `foo.cabal`. If it's not there, and even if...
@enderw88 Here's an initial implementation that shows what I mean. It's not quite ready for prime-time for the following reasons: 1. Error handling is terrible. It just swallows chance errors...
A draft PR to show the concept.... One of the great things about algebraic effects is that they allow you to _focus_ the range of effects needed by a function...
Today I was looking at https://github.com/conal/agda-cat-linear with @conal , and I was working on getting the Nix-based build working. It uses the current master versions of the `standard-library` and `agda-categories`....
I get this when running `make` in `src`: ``` emacs -batch -l load-cl.el -f compile-cl Loading /Users/johnw/emacs/site-lisp/emacs-cl/src/utils.el (source)... Loading /Users/johnw/emacs/site-lisp/emacs-cl/src/func.el (source)... Loading /Users/johnw/emacs/site-lisp/emacs-cl/src/cl-evaluation.el (source)... Loading /Users/johnw/emacs/site-lisp/emacs-cl/src/cl-flow.el (source)... Loading /Users/johnw/emacs/site-lisp/emacs-cl/src/cl-numbers.el (source)......
Compare this with `isearch-backward`, which leaves it at the beginning.