Ptolemy Ptolemy is a simple command-line utility that outputs a random excerpt from a collection of e-reader highlights. (See: spaced repetition). Usage $ runghc ptolemy.hs < clippings.txt # or $ ghc -Wall -o ptolemy ptolemy.hs $ ptolemy < clippings.txt