Armando Santos

I did not had the opportunity to start working on this yet but since you presented your work I think the best thing is to use your code! Once I'm...

Okay, I was looking for functions that would make sense to extend the graph API and now that you replied I agree with them feeling too specialized. With this being...

@snowleopard Since there is already a PR on the implementation of `isConnected` and some of the ideas on the random graph generation require this function I think I'll put the...

I made something that mimicks in a simpler way what [generic-deriving](https://hackage.haskell.org/package/generic-deriving-1.13.1) does but without the fairness in the case of the List type: - [AllValues.hs](https://gist.github.com/bolt12/bfb1eea66d7f830d7482a4ebd608d072) - [AllValuesPolished.hs](https://gist.github.com/bolt12/812725ba23e88a753de60bd2fbb4781e)

Very cool! So basically you have generalization of Coproducts (or types with tags/disjunctive unions) and defend that if you have a computation that produces a value with a tag you...

Awesome, got it! Thank you :smile:

I get the following error: ``` error: The option `home' does not exist. Definition values: - In `/home/bolt/GitHub/nixos/system/machine/rpi/rpi.nix': { _type = "if"; condition = true; content = { packages =...

I am trying to use this module on NixOS not home-manager, maybe that has explains it, but I thought they would be compatible. Another option is to write a nixos...

Thank you for the suggestion! I think I know why I was having that error but still had not have the chance to test it out!

It seems this one also needs a slight tweak in the timer