Links for minitorch-lite