Wadler stated in a talk somewhere that he was inspired by that book, but thought Agda may be more approachable.