Arjen Jonathan

Sorry, was in a hurry ;-) In the following snippet I used to have `'user_id': liduser.pk` instead. ``` AutoFixture(Profiel, field_values={ 'voornaam': 'LID', 'status': Profiel.STATUS.LID, 'user': liduser, }).create(1) ``` Which I...

Setting an integer to the user field is invalid in Django. The benefit is mostly that if you don't have a whole instance, you can still set the related value...

+1 How is this supposed to work? I don't have syntax highlighting after type checking on a fresh atom 1.0.0 installation with agda-mode.

No I understood that part; sorry for not being clear. I actually wanted to know about the agda type-driven syntax highlight that requires agda to compile the source.

I'm not sure how it's done in Emacs, but it's not uncommon for the syntax highlight to be slightly off while editing before you compile again (e.g. a function name...

Let me start with your last question: > Finally what are the concrete disadvantages of the current scheme? It is mostly that the library organization reflects on how one conceptualizes...

Ah, yes I missed that we do have an explicit argument `xs` in this version. Edited my comment .

I hope this would also (eventually) get rid of the imported `[_]` from `PropositionalEquality` which clashes with list singletons and others.

The name `mapWith∈` is a bit ugly to the eye but it does keep with a tradition to call mapping functions that give indexes or keys to the mapped function...

Ah, yes, I had not considered that Ofes might belong in the stdlib. Indeed it does require some work, so I merely opened this ticket to let you know of...