Deletion of Lennart Augustsson

Comment: I think 8 publications with >100 citations is enough for #C1, especially for someone who seems known better as an implementer than as an academic computer scientist. He is also prominently mentioned on Bluespec, LPMud, and Lazy ML, which are different enough from each other (and individually notable enough) that I don't think Wikipedia:Walled garden is relevant. This variety of contributions also makes the nominator's suggestion of a redirect a bad idea
Stance: keep
Cited policy: Wikipedia:Notability (WP:PROF)