Frederik Hanghøj Iversen

Looking into `/var/log/syslog` I get Nov 9 14:25:09 nightingale kernel: [ 1329.912227] dell-smbios A80593CE-A997-11DA-B012-B622A1EF5492: Invalid call 4/11: 1 After invoking sudo smbios-keyboard-ctl --set-timeout-ac 1h This is not much to go...

Dear me. I didn't need to break my wm by updating the BIOS then :S Thanks for the clarification though! And I apologize for the noise. Not sure how you...

I'm not exactly a C expert, but I might take a stab at it. Am happy to help. Will probably be second on my list after fixing the issue with...

Any thoughts on this?

I can see that maybe you crucially need no-eta-equality. What if I in stead define \simeq in PathPrelude? Would that be agreeable?

Sigh. It seems that eta-equality is needed in PathPrelude...

I was wondering if you have any take on my concerns mentioned in the commit message of 2e1619f85176dcfa903835104d211cae28082e19.

EDITED ~Note to self: I should at the very least mention in the documentation that the "slots in target type" is not being inferred generically.~ The "slots in the target...

Thanks for the comments @treeowl! I like your type error patch for `Arity`.

https://github.com/atzeus/FRPNow/pull/27