Links for lamda-tools