Links for godel-lang