Arjen Jonathan

setting relations using the relation_id generated by django in field_values

4

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...

Comment count includes deleted comments

1

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...

When editing a page, admin forms forget title/slug/etc

6

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.

Operations on List's `All` defined in `Properties`

4

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...

Ordered families of equivalences

2

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...

Fix the syntax for symmetric equality reasoning combinator

10

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...