Comment by drcharris

I learnt Miranda in my first year of CS at University College London...in 1991. So I think you might be right!