Indeed. TeX later moved to Pascal, but was originally written in SAIL for use on WAITS. GLS ported it to ITS (the first ever port of TeX), and also was responsible for lobbying Knuth to make it Turing-Complete.

Man, is there any part of modern computing that doesn't have GLS's fingerprints on it?