On 28.02.2018 20:45, Tilmann Singer wrote: > A followup to Andreas' presentation - the code is here: > > https://github.com/andreas-roehler/generic-transpose > Updated according to yesterdays discussion, thanks all.