φ - calculus code editor

based on Codemirror 6

permalink

φ-Minimal Syntax

t :=	(term)
t.a	(attribute)
| t₁(a -> t₂)	(application)
| [a₁ -> ?, …, aₖ -> ?, aₖ₊₁ -> tₖ₊₁, …, aₘ -> tₘ]	(object)
| ^n	(locator)
a := [a-z][a-z0-9]*	(attribute name)