Links for oqd-compiler-infrastructure