As such, I wonder if you could restate Hindley-Milner type inference in terms of solving "perfect" mazes?
As such, I wonder if you could restate Hindley-Milner type inference in terms of solving "perfect" mazes?