Programming language for writing lenses—well-behaved bidirectional transformations—that operate on ad-hoc, textual data formats.