Side note: The author, Benjamin Pierce is also the author of the Unison file synchronisation tool. > Which I use daily between macOS and Linux hosts. > https:

Side note: The author, Benjamin Pierce is also the author of the Unison file synchronisation tool. > Which I use daily between macOS and Linux hosts. > https://www.cis.upenn.edu/~bcpierce/unison/ https://www.cis.upenn.edu/~bcpierce/unison/