While we spent a lot of time on it, I don't think the failures of Fortress were about the time spent on notation. (Source: I wrote the first parser for Fortres

While we spent a lot of time on it, I don't think the failures of Fortress were about the time spent on notation. (Source: I wrote the first parser for Fortress, as well as the first type checker and interpreter.)