Jon Sterling

Keys bound while company-coq is not active

4

I've recently installed and begun using `company-coq`, and it's fantastic! Thank you for your hard work. One thing I have noticed, however, is that even in buffers where `company-coq` is...

Need to reload cells after memory runs out

7

This may be a problem with the demo, or with the library (I haven't looked very far into it). But when the device runs out of memory, all the cells...

Total freakout after item deletion and scroll

2

Try deleting an item. Then scroll. Let the fun begin.

After deletion and cells are rejiggered, their accessories are not updated; swipe them off screen and on again, and all is right as rain. #18


There seems to be quite a bit of duplication between `-insertItemsAtIndexPaths:withAnimation:` and `-_layoutVisibleCells:` (see also #93).

This should be disabled until it is rewritten to actually work.

Improve alignment of text nodes in make-cd

2

Currently text nodes in a commutative diagram are vertically aligned on their baseline. This is an intuitive and reasonable default, but unfortunately it results in incorrect behavior when combined with...

Problem with patching and names

3

Not sure what is going on here, but consider the following example: ````cooltt def category : type := sig def ob : type def hom : sig [s : ob,...