Links for functional-programming-lecture-notes-chicago-cs223