Joseph’s notes / hyperbolic-isometries • Julia source