Notes CLRS Solutions Git Notes mail setup Haskell chat Loop and Recursion Proofs GothenburgBitFactory emacs rsync