College professor who was the "biggest" Haskell proponent I've ever met, had a reputation among the department best described in units of micro-Dijkstra's, not

College professor who was the "biggest" Haskell proponent I've ever met, had a reputation among the department best described in units of micro-Dijkstra's, not undeserved mind you.