Aha that's probably wishful thinking I'm afraid. The language seemed very old fashioned to me (features like being able to choose the first index of an array) but I can appreciate it was good for its time.
I wrote my own error messages which were hopefully a bit more useful than that :)
RE S-Algol, it actually stands for St Andrews Algol. I developed a javascript transpiler as my final year project (2016) which is incomplete but there are some working examples here: https://goo.gl/TjbwML .
I found the project fascinating. Of course this a completely different language to Idris, the only real relation is that it was also developed in St Andrews.
Tried to make something like this a while ago[1] but the Eliza idea is a good one. Must be our agricultural East Anglian sense of humour. Wonder how many other farmyard animals could be turned into software as a service?