Rihla

write a path · the sphere decides if it is admissible
admissible path violation ghost compass
Waypoint 1 of 4

First Steps

The spec

A path satisfying every clause is admissible. Uncertain about a word? The defines everything.

Voices at the crossroads
Your path
forward <deg> · turn <deg> (+left −right) · // comment
The verifier speaks plainly
Run a path and every clause of the spec will be checked, honestly, whichever voice you listened to.