Jon Sterling
Jon Sterling
Protip: If you indent your code by four spaces, it will be formatted correctly so that folks can read it better! Alternatively, add some guards to get syntax highlighting: ```...
For understanding the progression of Martin-Löf's Thought, it's more useful IMO to have the 1983 date; for bibliographical purposes, of course the data of publishing should be used. At least,...
> It seems the above technical report is available here. Should I create a PR adding this technical report? Is this any different from the standard version? I'm curious. At...
`company-coq` is being enabled as a hook for `coq-mode`: ````elisp (add-hook 'coq-mode-hook #'company-coq-mode) ```` One interesting thing is, I just ran `M-x describe-mode` and I see that the `Company-Coq--Keybindings` minor...
@cpitclaudel Sure! I'll do so as soon as I can. Thanks for putting up with all my weird and annoying questions 😃
i feel it should be possible to prove that theorem without uip, but i’ll have to look into it. Sent from my iPhone > On Jul 7, 2021, at 2:59...
+1000000000000
Thanks for noticing this bug... We definitely need to fix this so that the cell exhibits the expected behavior. However, it's not exactly the highest priority at the moment, as...
Hmmm... I suspect this is an issue with the cell's `backgroundView`. Try setting its color to `[UIColor clearColor]`.