Lazy ML user's manual (1993)

by Lennart Augustsson, Thomas Johnsson