Repository for the book Condensed Trigonometry