Hacker News new | ask | show | jobs
by JadeNB 1378 days ago
> I think some choices in Euclidea are too restrictive (e.g. collapsible compass, inability to draw arcs).

Collapsible compass is not a choice of Euclidea, but a choice of Euclid. (Although, of course, one of the first things Euclid proves is that you can simulate a rigid compass with a collapsible compass: https://en.wikipedia.org/wiki/Compass_equivalence_theorem.)