Arjen Jonathan
Arjen Jonathan
I noticed today that this doesn't work. Nasty, because my tests now failed randomly, which was hard to debug. Is this something that can be fixed?
For easy replacement
i3status is optimized for the number of syscalls that it makes. Plus most of the overhead right now is that we're opening a shell everytime we run a command. When...
I'm on django-spirit==0.4.7 and in the topic list view the number of comments seems to include deleted comments.
Because the margin is used extensively, latex is more prone to reporting 'too many unprocessed float errors' when using tufte-latex. I've struggled with fixing that for a while, but found...
Steps to reproduce 1. create a page using the django admin. 2. click on the page title The page has no title/slug/language set in the edit form.
I believe that a bunch of "properties" of List's `All` should really be defined in the main `All` module, because they are just operations on heterogeneous lists. For example, the...
Hi devs, A long time ago I did some work based on the "old version" of this library to formalize (complete) ordered families of equivalences. Particularly because one can construct...
Quoting @MatthewDaggitt > I too would like to do something about the ˘ syntax, even though I introduced it > I really hate it: it's difficult to type, it ruins...