Long winded Home-manager demonstration for MacOS and non NixOS Linux Distributions.

[@digantamukhopadhyaydex]

Definitely wish to check out nixos, so this goes on to my list. Btw, definitely interested in proof automation.

[@roharbaconmoo]

Drop out of University