diff -r d1c9294fff65 -r 9d40619bc503 LINKS --- a/LINKS Sat Sep 26 23:45:40 2020 +0100 +++ b/LINKS Sun Sep 27 09:15:32 2020 +0100 @@ -22,6 +22,10 @@ https://flix.github.io/#/research/ https://flix.github.io/#/principles/ +================ +Compiler course in Edinburgh + +http://www.inf.ed.ac.uk/teaching/courses/ct/19-20/ ================= General tail call elimination on the JVM