Tej Chajed
Tej Chajed
I'm using elscreen from evil; when evil creates a tab (evil-tabs-tabedit), it calls [elscreen-create](https://github.com/knu/elscreen/blob/e918ae9ebb5a09c577cedd80b7557aa4a6682272/elscreen.el#L839). This function doesn't preserve the default-directory, so the new screen always defaults to the home directory,...
The semantic package outputs a date in the format `[2018/11/1]`, which latexrun incorrectly parses as the page number 2018. This only affects the first page, since subsequent page numbers correct...
The tests don't currently pass for me even on pdflatex, but this fixes at least the basic error tests under xelatex.
I thought company-coq already had a feature for this but couldn't find it. It would be nice if company-coq completed the End command with the section name computed by Proof...
I've wanted to improve compile times for a while. So far my attempts to do so have failed because I don't know exactly what is slow, other than program proofs....
On top of the new `async_inode`, which implements an inode whose specification includes in-memory buffering, we should develop a resource-based specification for individual offsets in the inode. ## Resources -...
We should set this up to start understanding how to deal with these non-deterministic crashes, particularly building up the right proof principles. The best test case would be to prove...
The various allocation methods (`ref`, `ref_to`, `NewSlice`, `NewMap`) sometimes get unfolded and then the nice typed theorems about them don't apply. We should make sure they use opaque representations which...
The slice library is rather large, which makes it painful to shadow and re-export everything with types. I think perhaps a better design is to think of a slice as...
This is somewhat magical to me but it's copied from Doom Emacs' configuration for OCaml (tuareg-mode) and F# and it seems to work nicely: https://github.com/hlissner/doom-emacs/blob/1ab9f8b99d35a451a06c8278457ddfa58c566186/modules/config/default/config.el#L182. I also tried `(sp-local-pair "(*"...