The St Andrews Functional Programming home page has moved to here.