Skip to content

Getting Started

Work in progress

This page is a placeholder. Content coming soon.

What you need

TODO: prerequisites, running the playground locally

Your first figure

TODO: walkthrough from empty canvas to a labelled right triangle

Next steps

  • Elements — segments, triangles, lines, points
  • Constraints — everything you can say about geometry
  • Solver — how Tilde figures out where things go

~tilde — geometric language