Konrad: >Anyway, I realize that the cakeML folk are writing furiously for >ITP. But after the dust clears from that, I would like to lobby for >arrays. Me, I really would like strings. And if someone wants me to proofread an ITP paper, I wouldn't say no :-) Freek