Describir: Foundations of euclidean and non-euclidean geometry