The first homework is
here
. It is due on the 24th January. It is based on the two file
resolve.c
and
unify.c