WRITE · COMPARE · REFINE
Your next idea starts here.
Choose a predicate and explore its canonical structure with live feedback.
predicate.alsALLOY
pred … {
Tab inserts two spaces. Press Escape then Tab, or Shift+Tab, to move focus out of the editor. Control+Enter or Command+Enter checks the predicate.
Ln 1, Col 1UTF-8·Predicate body only
Model environment
The original declarations and commands stay in place. Your predicate body is the only editable part.
Select an exercise to inspect its model.
Original model · preserved as supplied
A little feedback goes a long way.
Write your predicate to see its canonical distance and the edits that shape it.
Correct predicates, including the oracle, stay private. Feedback shows your fragments, edit types, and operator names.
Your progress
0 checksEach successful check is a new point on your path.
Distance is the minimum across the oracle and compatible corpus-labelled correct predicates. Zero is a canonical match under ACGN’s rewrite rules, not a proof of full semantic equivalence.