Valentin Robert

Sorry I mistyped, just a `ToJSONKey`* instance. I don't think we call either of `toJSONKeyValue` or `toJSONKeyText` explicitly, but I'm not certain as I did not write those instances.

You can probably fix this by doing: ``` git config --global user.name "Your Name" ``` However, I personally dislike setting this since I may want to use different nicknames for...

It makes long type descriptions more readable, e.g. ``` source_filename = "llvm-link" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" %class.AirshipAttitudeControl = type { %class.ModuleBase.base, %"class.uORB::SubscriptionCallback", %"class.px4::WorkItem", %"class.uORB::SubscriptionInterval", %"class.uORB::Subscription.18", %"class.uORB::Subscription.18", %"class.uORB::SubscriptionCallbackWorkItem", %"class.uORB::Publication", %struct.manual_control_setpoint_s, %struct.vehicle_status_s,...

Hey Théo, A patch for this would be awesome. I haven't digged into it, but yeah, the less "setup" we need, the better it is.

Do you mean all the snap-framework-related packages? At the time, I think I wanted to use the newer version (1.0) that was not yet released on hackage. Then I don't...

Oh yeah, currently the server would be in peacoq-server/dist or something, it does not get symlinked to the top-level directory. On my phone right now, will check in ~1 hour....

Sounds like a pretty good idea. I could see it work in two ways: - one would be to just have the contexts statically. with the way the editor works...

I agree. I wrote them manually because I had to get things going fast and dirty, but it's neither pleasant nor manageable. Now that OCaml has ppx extensions, I wonder...

I can look into it, I just graduated so I have a lot of free time for about a month. On Thu, Dec 6, 2018, 19:40 Emilio Jesús Gallego Arias...

Indeed, I haven't maintained the demo, and I don't have one at the moment. Soon™ 🙃