User blog comment:Moooosey/dco + decord sequence/@comment-43798125-20191022211916

Just updated it to get up to a|a=gamma_a, whatever that's called (is that the Ackermann ordinal or is the Ackermann ordinal bigger?) Naturally, Updates -> More illdefinedness/typos -> updates -> ...