Jordan Barrett
Jordan Barrett
I have an issue that some of my keys/keybindings no longer work during/after using `agda-mode`: - `\` (in search bar) - `(` - `)` - `C-x` - `C-c` This doesn't...
At the moment, Unicode input doesn't work in find/replace. While this would be nice to have (if possible), it's not essential. The real problem is that `\` still starts Unicode...
Is this project still active? The link to the Chrome Webstore provided in the readme (https://chrome.google.com/webstore/detail/goopg/ifpoaednafmgolabhpjmbimllaoidelg) now gives a 404.
I was not aware that the `--clone` flag in `gh repo fork` takes a boolean argument (e.g. `--clone=false`). The help text doesn't make this clear - it looks like it...
Pull requests: - #14424 - #14427 - #14428 - #14430 - #14431 - #14433 - #14434 - #14437 - #14439 - #14440 - #14442 - #14444 - #14445 - #14446...
Upgrade tests should be done from the last minor version. This PR changes the upgrade tests so that on develop, we are attempting to upgrade from 2.9.
Whenever I run `resume` on the command line, I get the following warning from `node`: ``` (node:9892) Warning: Accessing non-existent property 'padLevels' of module exports inside circular dependency ```
#1518 added a new golden testing framework to the standard library. It would be useful to extend the tests to cover more modules. However, at present, there is no documentation...
Is there an established convention re: the relationship between: 1. the name of a record type X 2. the name of X's constructor 3. the default name given to elements...
In #672, I defined (pre)additive and (pre)abelian categories. I've essentially only defined enough to formalise the construction in [arxiv:2103.08379](https://arxiv.org/abs/2103.08379) (see #674), so there is a lot of important theory still...