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.
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.