In my last post, I discussed lenses as means to specify well-behaved bidirectional transformations. Both lenses are part of a bidirectional transformation language working on terms. Its syntax is specified in SDF. While its semantics is defined by term rewriting rules in Stratego. I had a closer look on.

Full Professor of Computer Science at TU Delft Chair Programming Languages Group. With Gabriël Konat, Michael J. Steindorfer, Sebastian Erdweg and Eelco Visser accepted for Programming 2018.

Sign in with a Hydra account. If you are experiencing problems, please report them here. Acoda is a tool set for automatic data migration along an evolving data model. Convert Cabal files into Nix build instructions. Coccinelle is a program matching and transformation engine that provides support for semantic patches. Deploy PHP composer packages with the Nix package manager.

This weekend I was doing a merge of two branches, and accidentally introduced a problem that was caused by earlier cherry-picking of changesets between the two branches. I thought this really should not have been possible, so I decided to sanity-check my understanding of Mercurial branches. It turns out that cherry-picking and Mercurial branches really do not work well together.